來源:學術之家整理 2025-03-18 15:37:40
《Bulletin Of Symbolic Logic》中文名稱:《符號邏輯公報》,創刊于1995年,由Cambridge University Press出版商出版,出版周期Quarterly。
《符號邏輯公報》由符號邏輯協會于 1995 年創辦,旨在提供一本高標準的期刊,讓盡可能多的讀者都能輕松閱讀并產生興趣。該期刊旨在涵蓋 ASL 管轄范圍內的所有領域:數理邏輯及其應用、哲學和非經典邏輯及其應用、邏輯史和哲學以及數學哲學和方法論。
旨在及時、準確、全面地報道國內外LOGIC工作者在該領域的科學研究等工作中取得的經驗、科研成果、技術革新、學術動態等。
| 機構名稱 | 發文量 |
| UNIVERSITY OF HELSINKI | 3 |
| VICTORIA UNIVERSITY WEL... | 3 |
| UNIVERSITY OF ILLINOIS ... | 2 |
| UNIVERSITY OF MUNSTER | 2 |
| UNIVERSITY OF VIENNA | 2 |
| BEN GURION UNIVERSITY | 1 |
| BROWN UNIVERSITY | 1 |
| CALIFORNIA INSTITUTE OF... | 1 |
| CENTRE NATIONAL DE LA R... | 1 |
| CZECH ACADEMY OF SCIENC... | 1 |
| 國家/地區 | 發文量 |
| USA | 8 |
| England | 3 |
| Finland | 3 |
| New Zealand | 3 |
| Austria | 2 |
| GERMANY (FED REP GER) | 2 |
| Israel | 2 |
| Poland | 2 |
| Sweden | 2 |
| CHINA MAINLAND | 1 |
| 文章引用名稱 | 引用次數 |
| FOUNDATIONS OF ONLINE STRUCT... | 5 |
| LARGE CARDINALS BEYOND CHOIC... | 3 |
| MODEL THEORY AND MACHINE LEA... | 2 |
| A HIERARCHY OF COMPUTABLY EN... | 1 |
| STRONG JUMP-TRACEABILITY | 1 |
| A CONJECTURAL CLASSIFICATION... | 1 |
| INDIRECT PROOF AND INVERSION... | 0 |
| AN EXTENSION OF A THEOREM OF... | 0 |
| REALIZING REALIZABILITY RESU... | 0 |
| 2018 WINTER MEETING OF THE A... | 0 |
| 被引用期刊名稱 | 數量 |
| ANN PURE APPL LOGIC | 15 |
| PHILOS MATH | 15 |
| ARCH MATH LOGIC | 14 |
| J SYMBOLIC LOGIC | 13 |
| SYNTHESE | 10 |
| REV SYMB LOGIC | 9 |
| STUD LOGICA | 9 |
| ADV MATH | 8 |
| LOG METH COMPUT SCI | 8 |
| NOTRE DAME J FORM L | 8 |
| 引用期刊名稱 | 數量 |
| J SYMBOLIC LOGIC | 26 |
| ISR J MATH | 13 |
| T AM MATH SOC | 12 |
| MATH ANN | 10 |
| ANN PURE APPL LOGIC | 8 |
| J FUNCT ANAL | 7 |
| P AM MATH SOC | 7 |
| ALGEBR LOG+ | 6 |
| ARCH MATH LOGIC | 6 |
| FUND MATH | 5 |
聲明:該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們,我們將及時更正。