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 17, Number 1
Publication Date: January 1976
Miscellaneous front pages, Notre Dame Journal of Formal Logic, volume 17, issue 1 (1976)
A note on the axiom of choice in Leśniewski's ontology.
Charles C. Davis; 35-43
Algebraic semantics for $S2^0$ and necessitated extensions.
Hugh Alexander Montgomery and R. Routley; 44-58
A first-order logic of knowledge and belief with identity. I.
Scott K. Lehmann; 59-77
An addendum to my paper: ``A categorical equivalence of proofs''.
Manfred E. Szabo; 78
On the eliminability of de re modalities in some systems.
Jonathan Broido; 79-88
A study of algebraic logic from the point of view of category theory.
Luis M. Laita; 89-118
Les algèbres de Heyting-Brouwer et de Ł ukasiewicz trivalentes.
Luisa Iturrioz; 119-126
Consistent, independent, and distinct propositions. II.
Anjan Shukla; 135-136
An alternative to Brian Skyrms' approach to the Liar.
Paul Vincent Spade; 137-146
Definitions of semantical reference and self-reference.
Brian Skyrms; 147-148
On the relation between free description theories and standard quantification theory.
Richard E. Grandy; 149-152
Some notes on: ``A deduction theorem for restricted generality''.
M. W. Bunder; 153-154
On Nachbin's characterization of a Boolean lattice.
William H. Cornish; 155-157