Notre Dame Journal of Formal Logic : Impact Factor & More
eISSN: 1939-0726pISSN: 0029-4527
Share this on:
Aims and Scope of Notre Dame Journal of Formal Logic
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
Key Metrics
CiteScore 
0.9
H-Index
32
Impact Factor
< 5
SJR
Q1Logic
SNIP
1.25
Recommended pre-submission checks
Powered by 
Run standard language and technical checks to improve your manuscript – before you submit
Technical Compliance
Ensure manuscript complies with standard submission guidelines.
Language Quality
Improve clarity, grammar, and academic writing style.
A comprehensive report covering all these checks awaits you.
Topics Covered on Notre Dame Journal of Formal Logic
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
Paraconsistent Models of Zermelo–Fraenkel Set Theory
- 1 Jan 2026
- Notre Dame Journal of Formal Logic
Local O-Minimality and Prime Models
- 1 Jan 2026
- Notre Dame Journal of Formal Logic
Simple Tableaus for Simple Intuitionistic Logics
- 1 Jan 2026
- Notre Dame Journal of Formal Logic
Exponential Fields: Lack of Generic Derivations
- 1 Nov 2025
- Notre Dame Journal of Formal Logic
Asymptotic Classes of Trees and ℵ0-categoricity
- 1 Nov 2025
- Notre Dame Journal of Formal Logic
Computable Categoricity Relative to a C.E. Degree
- 1 Nov 2025
- Notre Dame Journal of Formal Logic
Paraconsistent Models of Zermelo–Fraenkel Set Theory
- 1 Jan 2026
- Notre Dame Journal of Formal Logic
Local O-Minimality and Prime Models
- 1 Jan 2026
- Notre Dame Journal of Formal Logic
Simple Tableaus for Simple Intuitionistic Logics
- 1 Jan 2026
- Notre Dame Journal of Formal Logic
Exponential Fields: Lack of Generic Derivations
- 1 Nov 2025
- Notre Dame Journal of Formal Logic
Asymptotic Classes of Trees and ℵ0-categoricity
- 1 Nov 2025
- Notre Dame Journal of Formal Logic
Computable Categoricity Relative to a C.E. Degree
- 1 Nov 2025
- Notre Dame Journal of Formal Logic
FAQs on Notre Dame Journal of Formal Logic
How long has Notre Dame Journal of Formal Logic been actively publishing? 
What is the publishing frequency of Notre Dame Journal of Formal Logic?
How many articles did Notre Dame Journal of Formal Logic publish last year?
What is the eISSN & pISSN for Notre Dame Journal of Formal Logic?
What is Citescore for Notre Dame Journal of Formal Logic?
What is the H Index for Notre Dame Journal of Formal Logic ?
What is SNIP score for Notre Dame Journal of Formal Logic?
What is the SJR for Notre Dame Journal of Formal Logic?
Who is the publisher of Notre Dame Journal of Formal Logic?
