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.

Top downloads over the last seven days

Sylvan's Box: A Short Story and Ten MoralsGraham PriestVolume 38, Number 4 (1997)
Impossible Worlds: A Modest ApproachDaniel NolanVolume 38, Number 4 (1997)
Syllogisms using ``few'', ``many'', and ``most''.Bruce ThompsonVolume 23, Number 1 (1982)
Life, Art, and MysticismLuitzen Egbertus Jan BrouwerVolume 37, Number 3 (1996)
Multiset theory.Wayne D. BlizardVolume 30, Number 1 (1988)
  • ISSN: 0029-4527 (print), 1939-0726 (electronic)
  • Publisher: Duke University Press
  • Discipline(s): Logic
  • Full text available in Euclid: --
  • Access: Articles older than 5 years are open
  • Euclid URL:

Featured article

On Pseudo-Finite Dimensions

Ehud HrushovskiVolume 54, Number 3-4

We attempt to formulate issues around modularity and Zilber’s trichotomy in a setting that intersects additive combinatorics. In particular, we update the open problems on quasi-finite structures from [9].