来源:学术之家整理 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 |
声明:该作品系作者结合互联网公开知识整合。如有错漏请联系我们,我们将及时更正。