Bulletin of Symbolic Logic
短名 | Bull. Symb. Log. |
Journal Impact | 0.89 |
国际分区 | MATHEMATICS(Q2) |
期刊索引 | SCI Q3中科院 3 区 |
ISSN | 1079-8986, 1943-5894 |
h-index | 40 |
国内分区 | 数学(3区)数学逻辑学(3区)数学数学(3区) |
符号逻辑公报由符号逻辑协会于 1995 年创立,旨在提供一份高标准的期刊,让尽可能多的读者都可以访问和感兴趣。它旨在涵盖 ASL 范围内的所有领域:数理逻辑及其应用、哲学和非经典逻辑及其应用、逻辑的历史和哲学,以及数学的哲学和方法论。
期刊主页投稿网址涉及主题 | 计算机科学数学哲学程序设计语言认识论物理离散数学心理学算法纯数学 |
出版信息 | 出版商: Cambridge University Press,出版周期: Quarterly,期刊类型: journal |
基本数据 | 创刊年份: 1995,原创研究文献占比: 100.00%,自引率:0.00%, Gold OA占比: 15.69% |
平均审稿周期 | 网友分享经验:>12周,或约稿 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
POUR-EL’S LANDSCAPE
2024-5-9
ITERATED PRIORITY ARGUMENTS IN DESCRIPTIVE SET THEORY
2024-4-7
ONE-VARIABLE FRAGMENTS OF FIRST-ORDER LOGICS
2024-4-1
SEVENTEENTH ASIAN LOGIC CONFERENCE AN OFFICIAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Nankai University Tianjin, China October 9–13, 2023
2024-3-1
2024 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Sheraton Times Square, New York, NY Eastern APA Meeting January 15–18, 2024
2024-3-1
BSL volume 30 issue 1 Cover and Front matter
2024-3-1
2023 EUROPEAN SUMMER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC LOGIC COLLOQUIUM 2023 University of Milan Milan, Italy June 5 – June 9, 2023
2024-3-1
2024 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC San Francisco, California Joint Mathematics Meeting January 3-6, 2024
2024-3-1
BSL volume 30 issue 1 Cover and Back matter
2024-3-1
Sam Roberts. Pluralities as Nothing Over and Above. Journal of Philosophy, vol. CXIX (2022), no. 8, pp. 405–424.
2024-3-1
2023 MEETING OF THE AUSTRALASIAN ASSOCIATION FOR LOGIC University of Queensland Brisbane, Australia 9-10 November, 2023
2024-3-1
ASSOCIATION FOR SYMBOLIC LOGIC
2024-3-1
VERY LARGE SET AXIOMS OVER CONSTRUCTIVE SET THEORIES
2024-2-26
THE UNIVERSAL THEORY OF THE HYPERFINITE II<sub>1</sub> FACTOR IS NOT COMPUTABLE
2024-2-16
CATEGORICAL QUANTIFICATION
2024-1-24
POINCARÉ-WEYL’S PREDICATIVITY: GOING BEYOND
2024-1-19
A WALK WITH GOODSTEIN
2024-1-17
Ordered Groups, Computability and Cantor-Bendixson Rank
2023-12-1
Computability Theory on Polish Metric Spaces
2023-12-1
2023 WINTER MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC Boston, Massachusetts Joint Mathematics Meeting January 6–7, 2023
2023-12-1
28th WORKSHOP ON LOGIC, LANGUAGE, INFORMATION AND COMPUTATION (WoLLIC 2021) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Virtual Event October 5–8, 2021
2023-12-1
BSL volume 29 issue 4 Cover and Front matter
2023-12-1
Computability Theory: Constructive Applications of the Lefthanded Local Lemma and Characterizations of Some Classes of Cohesive Powers
2023-12-1
<i>Logic, Automata, and Computational Complexity: The Works Of Stephen A. Cook</i>. Edited by Bruce M. Kapron, ACM Books, vol. 43. Association for Computing Machinery, New York, xxvi + 398 pp.—therein: - Michelle Waitzman. <i>Stephen Cook: Complexity’s Humble Hero</i>, pp. 3–28. - Bruce M. Kapron and Stephen A. Cook, <i>ACM Interview of Stephen A. Cook by Bruce M. Kapron</i>, pp. 29–44. - Stephen A. Cook, <i>Overview of Computational Complexity</i>, pp. 47–70. - Christos H. Papadimitriou, <i>…
2023-12-1
2023 NORTH AMERICAN ANNUAL MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC University of California, Irvine Irvine, CA, USA March 25–29, 2023
2023-12-1
BSL volume 29 issue 4 Cover and Back matter
2023-12-1
Weak Indestructibility and Reflection
2023-12-1
THE 19TH LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC OF THE ASSOCIATION FOR SYMBOLIC LOGIC XIX SIMPOSIO LATINOAMERICANO DE LÓGICA MATEMÁTICA Universidad de Costa Rica San José, Costa Rica July 26–31, 2022
2023-12-1
D. D. Dzhafarov <scp>and</scp> C. Mummert, <i>Reverse Mathematics: Problems, Reductions, and Proofs.</i> Theory and Applications of Computability. Springer Nature, Cham, 2022, xix + 488 pp.
2023-12-1
CONTENTS OF VOLUME 29
2023-12-1
2023 SPRING MEETING OF THE ASSOCIATION FOR SYMBOLIC LOGIC The Westin St. Francis, San Francisco, CA Pacific APA Meeting April 5–6, 2023
2023-12-1
NOTICES
2023-12-1
John Steel and Hugh Woodin. <i>HOD as a Core Model</i>. Ordinal Definability and Recursion Theory: The Cabal Seminar, Volume III, edited by Alexander Kechris, Benedikt Lowe, and John Steel, Lecture Notes in Logic, vol. 3, Cambridge University Press, Cambridge, pp. 257–345.
2023-12-1
On the existence of strong proof complexity generators
2023-11-22
A TOPOLOGICAL APPROACH TO UNDEFINABILITY IN ALGEBRAIC EXTENSIONS OF
2023-9-29
THREE PAPERS ON RECENT WORK ON META-VALIDITY - David Ripley, <i>One step is enough</i>. Journal of Philosophical Logic, vol. 51 (2022), pp. 1233–1259. - Isabella McAllister, <i>Classical logic is not uniquely characterizable</i>. Journal of Philosophical Logic, vol. 51 (2022), pp. 1345–1365. - Rea Golan, <i>There is no tenable notion of global metainferential validity</i>. Analysis, vol. 81 (2021), no. 3, pp. 411–420.
2023-9-1
BSL volume 29 issue 3 Cover and Front matter
2023-9-1
BSL volume 29 issue 3 Cover and Back matter
2023-9-1
John MacFarlane, Philosophical Logic: A Contemporary Introduction, Routledge Contemporary Introductions to Philosophy, Routledge, New York, and London, 2021, xx + 238 pp.
2023-9-1
NOTICES
2023-9-1
ASYMMETRIC CUT AND CHOOSE GAMES
2023-7-28
INTERLEAVING LOGIC AND COUNTING
2023-7-26
EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES
2023-7-26
Around Exponential-Algebraic Closedness
2023-6-1
Effective Concept Classes of PAC and PACi Incomparable Degrees, Joins and Embedding of Degrees
2023-6-1
NOTICES
2023-6-1
Katie Steele and H. Orri Stefánsson. Beyond Uncertainty: Reasoning with Unknown Possibilities. Elements in Decision Theory and Philosophy. Cambridge University Press, Cambridge, UK, 2021, 110 pp.
2023-6-1
BSL volume 29 issue 2 Cover and Back matter
2023-6-1
Forcing theory and combinatorics of the real line
2023-6-1
Jan Krajìček, Proof Complexity, Encyclopedia of Mathematics and Its Applications, no. 170, Cambridge University Press, Cambridge, UK, 2019, xvi + 516 pp.
2023-6-1
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远