Annals of Pure and Applied Logic
短名 | Ann. Pure. Appl. Log. |
Journal Impact | 0.47 |
国际分区 | MATHEMATICS, APPLIED(Q4) |
期刊索引 | SCI Q2中科院 2 区 |
ISSN | 0168-0072, 1873-2461 |
h-index | 51 |
国内分区 | 数学(2区)数学逻辑学(2区)数学数学(2区)数学应用数学(2区) |
《纯逻辑与应用逻辑年鉴》杂志发表了数理逻辑所有领域以及逻辑在数学、理论计算机科学和其他相关学科中的应用的高质量论文。所有提交给期刊的投稿都应该在数学上是正确的,写得很好(最好用英文),并且包含大量逻辑学家非常感兴趣的相关新结果。该期刊还考虑提交的内容太长而无法由其他期刊发表,而太短而无法形成单独的回忆录,前提是它们具有特别出色的质量和广泛的兴趣。此外,《纯逻辑与应用逻辑年鉴》偶尔会出版精选论文的特刊,这些论文选自精选的纯逻辑和应用逻辑会议。
期刊主页投稿网址涉及主题 | 数学计算机科学离散数学纯数学程序设计语言组合数学哲学数学分析人工智能域代数上的物理几何学认识论语言学算法理论计算机科学经济医学 |
出版信息 | 出版商: Elsevier B.V.,出版周期: Semimonthly,期刊类型: journal |
基本数据 | 创刊年份: 1983,原创研究文献占比: 100.00%,自引率:0.00%, Gold OA占比: 29.81% |
平均审稿周期 | 网友分享经验:偏慢,4-8周 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Computably and punctually universal spaces
2025-1-1
Groups definable in Presburger arithmetic
2025-1-1
μ-clubs of P(λ): Paradise in heaven
2025-1-1
On the logical and computational properties of the Vitali covering theorem
2025-1-1
Strong Minimal Pairs in the Enumeration Degrees
2024-12-1
Editorial Board
2024-12-1
Forcing Axioms and the Uniformization-Property
2024-12-1
Finite Undecidability in PAC and PRC Fields
2024-12-1
Around definable types in p-adically closed fields
2024-12-1
Reasoning with belief functions over Belnap–Dunn logic
2024-10-1
A logico-geometric comparison of coherence for non-additive uncertainty measures
2024-10-1
Asymptotic conditional probabilities for binary probability functions
2024-10-1
Encoding de Finetti's coherence within Łukasiewicz logic and MV-algebras
2024-10-1
Probing the quantitative–qualitative divide in probabilistic reasoning
2024-10-1
Towards logical foundations for probabilistic computation
2024-10-1
Probability propagation rules for Aristotelian syllogisms
2024-10-1
Causal modeling semantics for counterfactuals with disjunctive antecedents
2024-10-1
Probabilistic temporal logic with countably additive semantics
2024-10-1
Editorial Board
2024-9-10
Saturation properties for compositional truth with propositional correctness
2024-9-1
Universal Proof Theory: Semi-analytic Rules and Craig Interpolation
2024-8-1
Two-cardinal ideal operators and indescribability
2024-8-1
A complete axiomatization of infinitary first-order intuitionistic logic over <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msub><mml:mrow><mml:mi mathvariant="script">L</mml:mi></mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mi>κ</mml:mi></mml:mrow><mml:mrow><mml:mo linebreak="badbreak" linebreakstyle="after">+</mml:mo></mml:mrow></mml:msup><mml:mo>,</mml:mo><mml:mi>κ</mml:mi></mml:mrow></mml:msub></mml:math>
2024-8-1
Unification types and union splittings in intermediate logics
2024-8-1
The ghosts of forgotten things: A study on size after forgetting
2024-8-1
Theories of Frege structure equivalent to Feferman's system <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:msub><mml:mrow><mml:mi mathvariant="sans-serif">T</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msub></mml:math>
2024-8-1
Foundations of iterated star maps and their use in combinatorics
2024-8-1
μ-clubs of P(λ): Paradise in heaven
2024-7-24
Profiniteness, monadicity and universal models in modal logic
2024-7-1
Editorial Board
2024-7-1
First-Order Reasoning and Efficient Semi-Algebraic Proofs
2024-7-1
Extreme types and extremal models
2024-7-1
Approachable free subsets and fine structure derived scales
2024-7-1
Owings-like theorems for infinitely many colours or finite monochromatic sets
2024-7-1
Elimination of quantifiers for a theory of real closed rings
2024-7-1
Can you take Komjath's inaccessible away?
2024-7-1
Big Ramsey degrees in ultraproducts of finite structures
2024-7-1
Continuum Many Different Things: Localisation, Anti-Localisation and Yorioka Ideals
2024-7-1
A new model construction by making a detour via intuitionistic theories IV: A closer connection between KPω and BI
2024-7-1
Club stationary reflection and other combinatorial principles at ℵ+2
2024-7-1
Concerning Keisler Measures over ultraproducts
2024-7-1
Bi-intermediate logics of trees and co-trees
2024-7-1
Model-completeness and decidability of the additive structure of integers expanded with a function for a Beatty sequence
2024-7-1
Posets of copies of countable ultrahomogeneous tournaments
2024-6-6
Editorial Board
2024-6-1
Searching problems above arithmetical transfinite recursion
2024-6-1
<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.svg"><mml:mi mathvariant="sans-serif">ZF</mml:mi></mml:math> and its interpretations
2024-6-1
From GTC to : Generating Reset Proof Systems from Cyclic Proof Systems
2024-6-1
Decidability bounds for Presburger arithmetic extended by sine
2024-6-1
Editorial Board
2024-5-31
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远