
Academic Journal
Q1Notre Dame Journal of Formal Logic
About Notre Dame Journal of Formal Logic
Notre Dame Journal of Formal Logic is a scholarly journal published by Duke University Press. SCImago 2025 lists it in Q1, with an SJR of 0.545 and H-index of 36.
Coverage: 1960-2025. Research categories: Logic (Q1).
Source-backed journal facts
Topics in published research
Logic, Reasoning, and Knowledge; Advanced Algebra and Logic; Computability, Logic, AI Algorithms; Logic, programming, and type systems; Advanced Topology and Set Theory; Philosophy and Theoretical Science.
OpenAlex classifies topics from published works. These topics are not the publisher’s official aims and scope.
Source: OpenAlex source record. Retrieved 2026-10-03. Source record updated 2026-10-02. OpenAlex metrics are different from SCImago metrics and the Clarivate Journal Impact Factor.
Journal Metrics
Quartile, SJR and the listed SCImago H-index use the 2025 imported SCImago dataset. A quartile may vary by subject category. Values without a source or reporting year are unverified historical entries. Verify the current Journal Impact Factor with Clarivate or the publisher before using it.
Aims & Scope
The publisher’s official aims and scope have not yet been verified for this profile. Use the journal website to check subject fit and accepted article types before submitting.
Recent Research Articles
Latest publications matched automatically by ISSN.
Sub-Sub-Intuitionistic Logic
Jonte Deakin, Jim de Groot
2026-08-01 · DOI: 10.1215/00294527-2026-0002Bilateral Labeled Sequent Calculi
Fabio De Martin Polo
2026-08-01 · DOI: 10.1215/00294527-2026-0004Erratum
Daisuke Ikegami, Jouko Väänänen
2026-08-01 · DOI: 10.1215/00294527-2026-0007Note on a Differential Algebra Bound
Léo Jimenez
2026-08-01 · DOI: 10.1215/00294527-2026-0006Frege’s Logic in Grundgesetze Is Nonclassical
Bruno Bentzen
2026-08-01 · DOI: 10.1215/00294527-2026-0008Low Level Definability Above Large Cardinals
Farmer Schlutzenberg
2026-08-01 · DOI: 10.1215/00294527-2026-0005Boolean Completeness of Infinitary Logic with Arbitrary Signatures
Juan P. Aguilera
2026-05-01 · DOI: 10.1215/00294527-2025-0025On Nondefinability of Interior-Connectedness via the Contact Relation
Rafał Gruszczyński, Paula Menchón
2026-05-01 · DOI: 10.1215/00294527-2026-0003Epistemic Counterpossibilism
Joseph Salerno
2026-05-01 · DOI: 10.1215/00294527-2025-0031Varieties of Modal Algebras Without the Congruence Extension Property
Zalán Gyenis, Zalán Molnár
2026-05-01 · DOI: 10.1215/00294527-2025-0030Two Uncountable Coloring Results on Semigroups
Teng Zhang
2026-05-01 · DOI: 10.1215/00294527-2025-0029Model Theory of Homogeneous D-Sets
Felipe Estrada, John Goodrick
2026-05-01 · DOI: 10.1215/00294527-2025-0032Reductions of Well-Ordering Principles to Combinatorial Theorems
Lorenzo Carlucci, Leonardo Mainardi, Konrad Zdanowski
2026-05-01 · DOI: 10.1215/00294527-2025-0028Axioms for Commutative Unital Rings Elementarily Equivalent to Restricted Products of Connected Rings
Jamshid Derakhshan, Angus Macintyre
2026-02-01 · DOI: 10.1215/00294527-2025-0021Paraconsistent Models of Zermelo–Fraenkel Set Theory
Aldo Figallo-Orellano, Juan Sebastián Slagter
2026-02-01 · DOI: 10.1215/00294527-2025-0022Stationary Tower Forcing and Universally Baire Sets
Toshimasa Tanno
2026-02-01 · DOI: 10.1215/00294527-2025-0018Well-Behaved Truth
Hartry Field
2026-02-01 · DOI: 10.1215/00294527-2025-0023Local O-Minimality and Prime Models
Wataru Komine, Akito Tsuboi
2026-02-01 · DOI: 10.1215/00294527-2025-0019Zorn’s Lemma, Reverse Mathematics, and Applications in Combinatorics
Richard A. Shore
2026-02-01 · DOI: 10.1215/00294527-2025-0020Simple Tableaus for Simple Intuitionistic Logics
Melvin Fitting
2026-02-01 · DOI: 10.1215/00294527-2025-0024Reviews
Community Reviews
Version History
October 4, 2026 at 9:15 pm
October 2, 2026