Explore All Access
Check if your research matches the topics covered in Notre Dame Journal of Formal Logic?
- Degree of match
- Common matching concepts
- Additional journal recommendations
Notre Dame Journal of Formal Logic : Impact Factor & More
eISSN: 1939-0726pISSN: 0029-4527
Share this on:
Check your submission readiness
Find out how your manuscript stacks up against 24 technical compliance and 6 language quality checks.
Aims and Scope
The Notre Dame Journal of Formal Logic is a quarterly peer-reviewed scientific journal covering the foundations of mathematics and related fields of mathematical logic, as well as philosophy of mathematics. It was established in 1960 and is published by Duke University Press on behalf of the University of Notre Dame. The editors-in-chief are Michael Detlefsen and Peter Cholak (University of Notre Dame). Less
Notre Dame Journal of Formal Logic Key Metrics
CiteScore 
0.9
H-Index
32
Impact Factor
< 5
SJR
Q1Logic
SNIP
1.25
Topics Covered on Notre Dame Journal of Formal Logic
Category theory
Modal logic
Isometry
Reverse mathematics
Intuitionistic logic
Equivalence relation
Simple type theory
Unique factorization domain
Finite model property
Algebraic structure
Free abelian group
Notre Dame Journal of Formal Logic Journal Specifications
| Overview | |
| Publisher | DUKE UNIV PRESS |
| Language | English |
| Frequency | Quarterly |
| General Details | |
| Language | English |
| Frequency | Quarterly |
| Publication Start Year | 1960 |
| Publisher URL | Visit website |
| Website URL | Visit website |
View less
Planning to publish in Notre Dame Journal of Formal Logic ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Recently Published Papers in Notre Dame Journal of Formal Logic
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Classifying Invariants for E1: A Tail of a Generic Real
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Simple Tableaus for Simple Logics
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
A Temporal Epistemic Deontic Logic
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Vaught’s Conjecture for Theories of Discretely Ordered Structures
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Dominating Orders, Vertex Pursuit Games, and Computability Theory
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
No Decreasing Sequence of Cardinals in the Hierarchy of Choice Principles
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Classifying Invariants for E1: A Tail of a Generic Real
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Simple Tableaus for Simple Logics
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
A Temporal Epistemic Deontic Logic
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Vaught’s Conjecture for Theories of Discretely Ordered Structures
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Dominating Orders, Vertex Pursuit Games, and Computability Theory
- 1 Aug 2024
- Notre Dame Journal of Formal Logic
Compare Similar Journals with Notre Dame Journal of Formal Logic
Select Journals to Compare with Notre Dame Journal of Formal Logic
Total journals - 10
You can select up to 3 Journals at a time
Annals of Pure and Applied Logic
Publisher: ELSEVIER
Journal of Logic and Computation
Publisher: OXFORD UNIV PRESS
Archive for Mathematical Logic
Publisher: SPRINGER HEIDELBERG
Mathematical Logic Quarterly
Publisher: WILEY-V C H VERLAG GMBH
Bulletin of the Section of Logic
Publisher: Department of Logic, University of Lodz
Studia Logica
Publisher: SPRINGER
Journal of Philosophical Logic
Publisher: SPRINGER
Lecture Notes in Computer Science
Publisher: Springer Nature
Bulletin of Symbolic Logic
Publisher: CAMBRIDGE UNIV PRESS
Logica Universalis
Publisher: SPRINGER BASEL AG
0 Journals Selected to compare with
Notre Dame Journal of Formal Logic
Compare journals across 7 parameters SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
SJR Ranking, Topics covered, Indexing Database, Publication Review Time, Publication Type, Article Processing Charges & Recently Published papers
Get detailed Journal comparison report on your email by signing up
FAQs on Notre Dame Journal of Formal Logic
How long has Notre Dame Journal of Formal Logic been actively publishing? 
Notre Dame Journal of Formal Logic has been in operation since 1960 till date.
What is the publishing frequency of Notre Dame Journal of Formal Logic?
Notre Dame Journal of Formal Logic published with a Quarterly frequency.
How many articles did Notre Dame Journal of Formal Logic publish last year?
In 2023, Notre Dame Journal of Formal Logic publsihed 28 articles.
What is the eISSN & pISSN for Notre Dame Journal of Formal Logic?
For Notre Dame Journal of Formal Logic, eISSN is 1939-0726 and pISSN is 0029-4527.
What is Citescore for Notre Dame Journal of Formal Logic?
Citescore for Notre Dame Journal of Formal Logic is 0.9.
What is the H Index for Notre Dame Journal of Formal Logic ?
H Index for Notre Dame Journal of Formal Logic is 32.
What is SNIP score for Notre Dame Journal of Formal Logic?
SNIP score for Notre Dame Journal of Formal Logic is 1.25.
What is the SJR for Notre Dame Journal of Formal Logic?
SJR for Notre Dame Journal of Formal Logic is Q1.
Who is the publisher of Notre Dame Journal of Formal Logic?
DUKE UNIV PRESS is the publisher of Notre Dame Journal of Formal Logic.
