Notre Dame Journal of Formal Logic
短名 | Notre Dame J. Form. Log. |
Journal Impact | 0.76 |
国际分区 | W_MULTIPLE(Q2) |
期刊索引 | SCI Q2中科院 3 区 |
ISSN | 0029-4527, 1939-0726 |
h-index | 33 |
国内分区 | 数学(3区)数学逻辑学(3区)数学数学(3区)数学哲学(3区) |
NOTRE DAME JOURNAL OF FORMAL LOGIC 成立于 1960 年,旨在发表哲学逻辑、数理逻辑和相关领域的高质量和原创研究论文,包括具有引人注目的历史意义的论文。该杂志还愿意选择性地发表关于当前重要主题的说明性文章以及书评。
期刊主页投稿网址涉及主题 | 数学计算机科学哲学医学牙石(牙科)牙科口腔正畸科程序设计语言离散数学认识论语言学纯数学人工智能经济组合数学 |
出版信息 | 出版商: Duke University Press,出版周期: ,期刊类型: journal |
基本数据 | 创刊年份: 1960,原创研究文献占比: 100.00%,自引率:16.70%, Gold OA占比: 0.00% |
平均审稿周期 | 网友分享经验:>12周,或约稿 |
平均录用比例 | 网友分享经验:容易 |
期刊引文格式
这些示例是对学术期刊文章的引用,以及它们应该如何出现在您的参考文献中。
并非所有期刊都按卷和期组织其已发表的文章,因此这些字段是可选的。有些电子期刊不提供页面范围,而是列出文章标识符。在这种情况下,使用文章标识符而不是页面范围是安全的。
只有1位作者的期刊
有2位作者的期刊
有3位作者的期刊
有5位以上作者的期刊
书籍引用格式
以下是创作和编辑的书籍的参考文献的示例。
学位论文引用格式
网页引用格式
这些示例是对网页的引用,以及它们应该如何出现在您的参考文献中。
专利引用格式
最新文章
Wittgensteinian Predicate Logic and Compositionality
2024-5-1
Sets Completely Separated by Functions in Bishop Set Theory
2024-5-1
Boolean-Valued Models of Set Theory with Urelements
2024-5-1
A Walk with Goodstein and Ackermann
2024-5-1
A Natural Deduction Calculus for S4.2
2024-5-1
Tableaux and Interpolation for Propositional Justification Logics
2024-2-1
Logics of True Belief
2024-2-1
Modal Model Theory
2024-2-1
A Problem for Relative-Sameness Semantics
2024-2-1
Identity and the Cognitive Value of Logical Equations in Frege’s Foundational Project
2023-11-1
A Note on Torsion Modules with Pure Embeddings
2023-11-1
Topic-Theoretic Extensions of Analytic Implication
2023-11-1
Hierarchical Multiverse of Sets
2023-11-1
There Are No Minimal Effectively Inseparable Theories
2023-11-1
Topologizing Interpretable Groups in p-Adically Closed Fields
2023-11-1
Products of Classes of Finite Structures
2023-11-1
Lower Bounds of Sets of P-points
2023-8-1
Substitutional Validity for Modal Logic
2023-8-1
Weak Kleene and Other Weak Logics of Conditionals
2023-8-1
An Invitation to Extension Domination
2023-8-1
Definability of Boolean Functions in Kripke Semantics
2023-8-1
Definable Version of Wedderburn–Artin Theorem in O-Minimal Structures
2023-8-1
Geometric Modal Logic
2023-8-1
C. I. Lewis’s Intensional Semantics
2023-8-1
Spiritus Asper versus Lambda: On the Nature of Functional Abstraction
2023-5-1
Games on Base Matrices
2023-5-1
A Family of dp-Minimal Expansions of (Z;+)
2023-5-1
Witt Vectors and Separably Closed Fields with Higher Derivations
2023-5-1
Dialetheias and Numbers Distinct from Themselves
2023-5-1
Unitary Representations of Locally Compact Groups as Metric Structures
2023-5-1
Deduction Theorem in Congruential Modal Logics
2023-5-1
A Local Version of the Slaman–Wehner Theorem and Families Closed Under Finite Differences
2023-5-1
Embeddings between Partial Combinatory Algebras
2023-2-1
Core Gödel
2023-2-1
The Complexity of Decomposability of Computable Rings
2023-2-1
Bicontextualism
2023-2-1
A Completeness Proof for a Regular Predicate Logic with Undefined Truth Value
2023-2-1
Terence Tao, Hilbert’s Fifth Problem and Related Topics. American Mathematical Society, Providence, 2014. 338 pp.
2022-11-1
Stage Comparison, Fixed Points, and Least Fixed Points in Kripke–Platek Environments
2022-11-1
Did Aristotle Endorse Aristotle’s Thesis? A Case Study in Aristotle’s Metalogic
2022-11-1
The Diversity of Minimal Cofinal Extensions
2022-11-1
Modal Logics That Are Both Monotone and Antitone: Makinson’s Extension Results and Affinities between Logics
2022-11-1
In Memoriam: Yoram Hirshfeld
2022-11-1
Thin Set Versions of Hindman’s Theorem
2022-11-1
Burden of Henselian Valued Fields in the Denef–Pas Language
2022-11-1
On VC-Density in VC-Minimal Theories
2022-8-1
Measuring Inconsistency in Some Logics with Tense Operators
2022-8-1
On Stable Quotients
2022-8-1
Characterizing Counterfactuals and Dependencies over (Generalized) Causal Teams
2022-8-1
Structural Completeness in Many-Valued Logics with Rational Constants
2022-8-1
帮你贴心管理全部的文献
研飞ivySCI,高效的论文管理
投稿经验分享
分享我的经验,帮你走得更远