SCIEA&HCISCOPUSQ3
Notre Dame Journal of Formal Logic
DUKE UNIV PRESS, United States
Notre Dame Journal of Formal Logic is an academic journal published by DUKE UNIV PRESS (United States). Identifiers: ISSN 0029-4527, eISSN 1939-0726. Indexed in SCIE, A&HCI, SCOPUS. Metrics: JIF 0.5, CiteScore 1.0, SJR 0.493, SNIP 0.74. Subject areas: LOGIC, MATHEMATICS, PHILOSOPHY, N/A. tlooto lists 215 papers from this journal.
CiteScore
1.00
Scopus citation metric
SJR
0.493
SCImago rank
SNIP
0.74
Source normalized impact
Percentage rank
-
JIF percentile rank
Journal profile
- ISSN
- 0029-4527
- eISSN
- 1939-0726
- Abbreviation
- NOTRE DAME J FORM L
- Publisher
- DUKE UNIV PRESS
- Country
- United States
Web of Science categories
SCIELOGIC, MATHEMATICS
A&HCIPHILOSOPHY
Scopus ASJC categories
2609 Logic
Keywords
Mathematics | LogicPhilosophy
Papers in this journal
Recent papers
- Two Uncountable Coloring Results on Semigroups
2026
- Varieties of Modal Algebras Without the Congruence Extension Property
2026
- Model Theory of Homogeneous D-Sets
2026
- Paraconsistent Models of Zermelo–Fraenkel Set Theory
2026 · 1 citations
- Boolean Completeness of Infinitary Logic with Arbitrary Signatures
2026
Most cited papers
- Conceptual role semantics
1982 · 294 citations
- Individuals and points
1985 · 182 citations
- Questions concerning possible shortest single axioms for the equivalential calculus: an application of automated theorem proving to infinite domains
1983 · 58 citations
- Some things do not exist.
1966 · 24 citations
- Reverse Mathematics of Topology: Dimension, Paracompactness, and Splittings
2018 · 19 citations