The Notre Dame Journal of Formal Logic provides a forum where researchers working in all areas of logic and the foundations of mathematics can read and publish original and significant work.
Volume 6, Number 4
Publication Date: 1965
A quaternary relation as the primitive notion in several geometries.
Shirley Dowdy; 241-295
On predicate letter formulas which have no substitution instances provable in a first order language.
Kenneth Weston; 296-300
Some results on finite axiomatizability in modal logic.
E. J. Lemmon; 301-308
Systems classically axiomatized and properly contained in Lewis's ${\rm S}3$.
John Thomas Canty; 309-318
Leibniz's misunderstanding of Nisolius notion of `multudino'.
Ignacio Angelelli; 319-322
Corrigendum and addendum to: ``A generalization of Sierpiński's theorem on Steiner triples and the axiom of choice''.
William J. Frascella; 323-324
The relation of weakly discrete to set and equinumerosity in mereology.
Robert E. Clay; 325-340
Notre Dame Journal of Formal Logic
