来源:学术之家整理 2025-03-18 15:37:28
《Archive For Mathematical Logic》中文名称:《数学逻辑存档》,创刊于1950年,由Springer Berlin Heidelberg出版商出版,出版周期8 issues per year。
该期刊发表研究论文,偶尔也会发表关于数理逻辑的调查或阐述。只要数理逻辑方法发挥了重要作用,也欢迎来自其他相关领域的投稿,例如理论计算机科学或哲学。因此,该期刊面向对数理逻辑在各自领域的应用及其与其他研究领域的相互作用感兴趣的逻辑学家和数学家、计算机科学家和哲学家。
旨在及时、准确、全面地报道国内外LOGIC工作者在该领域的科学研究等工作中取得的经验、科研成果、技术革新、学术动态等。
| 机构名称 | 发文量 |
| TECHNISCHE UNIVERSITAT ... | 8 |
| HEBREW UNIVERSITY OF JE... | 7 |
| RUTGERS STATE UNIVERSIT... | 7 |
| INST RES FUNDAMENTAL SC... | 6 |
| JAPAN ADVANCED INSTITUT... | 6 |
| KOBE UNIVERSITY | 6 |
| RUSSIAN ACADEMY OF SCIE... | 6 |
| UNIVERSITY OF LEEDS | 6 |
| CITY UNIVERSITY OF NEW ... | 5 |
| UNIVERSITY OF CALIFORNI... | 5 |
| 国家/地区 | 发文量 |
| USA | 60 |
| Japan | 20 |
| GERMANY (FED REP GER) | 16 |
| Italy | 15 |
| Austria | 13 |
| Israel | 13 |
| England | 8 |
| Colombia | 7 |
| Iran | 7 |
| Russia | 7 |
| 文章引用名称 | 引用次数 |
| Chainable and circularly cha... | 3 |
| Using Ramsey's theorem once | 3 |
| Reverse mathematics and colo... | 2 |
| Selfextensional logics with ... | 2 |
| A weak variant of Hindman's ... | 1 |
| Scott sentences for certain ... | 1 |
| Continuous reducibility and ... | 1 |
| Expressivity in chain-based ... | 1 |
| On Kattov and Kattov-Blass o... | 1 |
| The subcompleteness of Magid... | 1 |
| 被引用期刊名称 | 数量 |
| ARCH MATH LOGIC | 39 |
| J SYMBOLIC LOGIC | 38 |
| MATH LOGIC QUART | 25 |
| SOFT COMPUT | 21 |
| ANN PURE APPL LOGIC | 15 |
| FUND MATH | 14 |
| NOTRE DAME J FORM L | 13 |
| TOPOL APPL | 13 |
| LOG J IGPL | 9 |
| MATH STRUCT COMP SCI | 9 |
| 引用期刊名称 | 数量 |
| J SYMBOLIC LOGIC | 82 |
| ANN PURE APPL LOGIC | 61 |
| ARCH MATH LOGIC | 39 |
| ISR J MATH | 22 |
| T AM MATH SOC | 20 |
| P AM MATH SOC | 16 |
| B SYMB LOG | 14 |
| J MATH LOG | 13 |
| FUND MATH | 12 |
| FUZZY SET SYST | 11 |
声明:该作品系作者结合互联网公开知识整合。如有错漏请联系我们,我们将及时更正。