Notre Dame Journal of Formal Logic

Since 1960, the Notre Dame Journal of Formal Logic has published original work in all areas of logic and the foundations of mathematics. With an interdisciplinary editorial board, the journal strikes a unique balance among historical, philosophical, and mathematical perspectives.

  • ISSN: 0029-4527 (print), 1939-0726 (electronic)
  • Publisher: Duke University Press
  • Discipline(s): Logic
  • Full text available in Euclid: 1960--
  • Access: Articles older than 5 years are open
  • Euclid URL:

Featured Bibliometrics

MR Citation Database MCQ (2014): 0.36
JCR (2014) Impact Factor: .0362
JCR (2014) Five-year Impact Factor: 0.477
JCR (2014) Ranking: 263/310 (Mathematics); 13/21 (Logic)
Eigenfactor: Notre Dame Journal of Formal Logic

Indexed/Abstracted in: Arts and Humanities Citation Index, Current Contents/Arts and Humanities, ISI Science Citation Index Expanded, Magazines for Libraries, MathSciNet, Scopus, The Philosopher's Index, zbMATH

Featured article

Montague's Paradox, Informal Provability, and Explicit Modal Logic

Walter DeanVolume 55, Number 2

The goal of this paper is to explore the significance of Montague's a limitative result pertaining to the notions of formal, informal, and constructive provability, in their respective historical contexts.