來源:學術之家整理 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 |
聲明:該作品系作者結合互聯網公開知識整合。如有錯漏請聯系我們,我們將及時更正。