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 10, Number 3
Publication Date: July 1969
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 10, issue 3 (1969)
Propositional calculus in implication and non-equivalence.
A. N. Prior; 271-272
Note on the mortality problem for shift state trees.
Michael Anderson; 275-276
Examination of the axiomatic foundations of a theory of change. II.
Laurent Larouche; 277-284
An economy in the formation rules for quantification theory.
Harry V. Stopes-Roe; 313-316
The non-existence of a certain combinatorial design on an infinite set.
William J. Frascella; 317-323
Leśniewski's ontology and some medieval logicians.
Desmond Paul Henry; 324-326
Corrigendum to my paper: ``A propositional calculus intermediate between the minimal calculus and the classical''.
Charles Parsons; 336
Miscellaneous back pages, Notre Dame Journal of Formal Logic, volume 10, issue 3 (1969)
Notre Dame Journal of Formal Logic