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 

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
Rough Approximate Subgroups
- 1 Nov 2025
- Notre Dame Journal of Formal Logic
Class Theory in HYPE
- 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
Rough Approximate Subgroups
- 1 Nov 2025
- Notre Dame Journal of Formal Logic
Class Theory in HYPE
- 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? 
Check if your manuscript is a good match for
undefined
Upload your manuscript to get recommendations of journals
that have published papers similar to your manuscript
Drag and drop your file here
We accept manuscripts in English. File format: .doc and .docx | Maximum size: 10 MB | Word count: 200-300,000 words | File length: less than 100 pages
Do not have a manuscript right now? Use an abstract or summary