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).
Key Metrics
0.9
CiteScore
CiteScore
CiteScore measures average citations received per document published in the serial.
< 5
Impact Factor
Impact Factor
Impact factor of a journal is calculated by dividing the number of current year citations to the source items published in that journal during the previous two years.
32
H index
H-Index
Journal's h-index reflects the collective citation impact of the authors publishing in the journal. The h-index is defined as the maximum value of h such that the given journal has published at least h papers that have each been cited at least h times.
Q1
Logic
SJR
- Q1 Logic
SJR
SJR
SCImago Journal Rank measures weighted citations received by the serial. Citation weighting depends on subject field and prestige (SJR) of the citing serial.
1.25
SNIP
SNIP
Source Normalized Impact per Paper measures actual citations received relative to citations expected for the serial’s subject field.
Topics Covered
- 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
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 |
Planning to publish in Notre Dame Journal of Formal Logic ?
Upload your Manuscript to get
- Degree of match
- Common matching concepts
- Additional journal recommendations
Looking for the right journals to submit your mansucript?
Upload your manuscript and get a submission readiness score and other journal recommendations.
Check my PaperRecently Published Papers
-
Full paper
Boolean-Valued Models of Set Theory with Urelements
- 1 May 24
- Notre Dame Journal of Formal Logic
-
Full paper
Sets Completely Separated by Functions in Bishop Set Theory
- 1 May 24
- Notre Dame Journal of Formal Logic
-
Full paper
Wittgensteinian Predicate Logic and Compositionality
- 1 May 24
- Notre Dame Journal of Formal Logic
-
Full paper
Logics of True Belief
- 1 Feb 24
- Notre Dame Journal of Formal Logic
-
Full paper
Modal Model Theory
- 1 Feb 24
- Notre Dame Journal of Formal Logic
-
Full paper
Tableaux and Interpolation for Propositional Justification Logics
- 1 Feb 24
- Notre Dame Journal of Formal Logic
Scite analysis
Powered by scite_
2.7k articles received 14.1k citations see all
- 133 Supporting
- 13,690 Mentioning
- 6 Contrasting
Editorial notices
- 0 Retractions
- 0 Withdrawals
- 0 Corrections
- 0 Errata
- 0 Expression of Concern
FAQs
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 years ?
In 2023, Notre Dame Journal of Formal Logic published 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 is0029-4527.
What is Citescore for Notre Dame Journal of Formal Logic ?
Citescore for Notre Dame Journal of Formal Logic is 0.9.
What is 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.