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区) |
《Annals of Pure and Applied Logic》杂志发表数理逻辑各个领域的高质量论文,涵盖逻辑在数学、理论计算机科学及其他相关学科中的应用。所有提交的稿件必须在数学上是正确的,写作流畅(最好使用英文),并包含逻辑学家感兴趣的相关新成果。该期刊也接受那些由于篇幅过长而无法在其他期刊发表,或篇幅过短而无法形成独立论文的稿件,前提是这些稿件具有特别出色的质量和广泛的学术兴趣。此外,《Annals of Pure and Applied Logic》偶尔会出版精选论文的特刊,这些论文选自一些重要的纯逻辑和应用逻辑会议。
期刊主页投稿网址涉及主题 | 数学计算机科学离散数学纯数学程序设计语言组合数学哲学数学分析人工智能域代数上的物理几何学认识论语言学算法理论计算机科学经济医学 |
出版信息 | 出版商: Elsevier B.V.,出版周期: Semimonthly,期刊类型: journal,开源期刊: 否 |
基本数据 | 创刊年份: 1983,原创研究文献占比: 100.00%,自引率:0.00%, Gold OA占比: 29.81% |
平均审稿周期 | 网友分享经验:偏慢,4-8周 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
有 1 位以上作者的期刊
有 2 位作者的期刊
有 3 位作者的期刊
有 5 位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
手工熬夜修改参考文献?研飞自动匹配期刊,一键轻松成稿,支持 Word/WPS
点击下方按钮,免费开启试用!
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
半拟幂等逻辑II:贝特可定义性与演绎插值
2024-11-1
Failure of the Blok–Esakia Theorem in the monadic setting
单子设定下Blok–Esakia定理的失效
2024-11-1
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics
通用证明理论:直觉模态逻辑中的可行可容性
2024-10-1
Equiconsistency of the Minimalist Foundation with its classical version
极简主义基础与其经典版本的等价性
2024-10-1
Bi-Colored Expansions of Geometric Theories
几何理论的双色扩张
2024-10-1
Computably and punctually universal spaces
可计算和准普遍空间
2025-1-1
Semiconic Idempotent Logic II: Beth Definability and Deductive Interpolation
半拟幂等逻辑II:贝特可定义性与演绎插值
2024-11-1
Failure of the Blok–Esakia Theorem in the monadic setting
单子设定下Blok–Esakia定理的失效
2024-11-1
Some properties of precompletely and positively numbered sets
预完全正编号集的一些性质
2024-10-9
Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics
通用证明理论:直觉模态逻辑中的可行可容性
2024-10-1