- Nicholas J. Moutafakis:
The extensional pragmatics of commands. Notre Dame J. Formal Log. 12(4): 489-498 (1971) - Mohini Mullick:
Does Ockham accept material implication? Notre Dame J. Formal Log. 12(1): 117-124 (1971) - John L. Pollock:
Henkin style completeness proofs in theories lacking negation. Notre Dame J. Formal Log. 12(4): 509-511 (1971) - Richard L. Poss:
Weak forms of the axiom of constructibility. Notre Dame J. Formal Log. 12(3): 257-299 (1971) - Richard L. Poss:
Measurable cardinals and constructibility without regularity. Notre Dame J. Formal Log. 12(3): 300-304 (1971) - Juliusz Reichbach:
Some methods of formal proofs. III. Notre Dame J. Formal Log. 12(4): 479-482 (1971) - V. Frederick Rickey:
On weak and strong validity of rules for the propositional calculus. Notre Dame J. Formal Log. 12(1): 115-116 (1971) - B. van Rootselaar:
A class of models for intermediate logics. Notre Dame J. Formal Log. 12(3): 358-362 (1971) - Richard Routley:
Conventionalist and contingency-oriented modal logics. Notre Dame J. Formal Log. 12(2): 131-152 (1971) - Luis E. Sanchis:
A generalization of the Gentzen Hauptsatz. Notre Dame J. Formal Log. 12(4): 499-504 (1971) - George F. Schumm:
Solutions to four modal problems of Sobociński. Notre Dame J. Formal Log. 12(3): 335-340 (1971) - Rangaswamy V. Setlur:
Duality in finite many-valued logic. Notre Dame J. Formal Log. 12(2): 188-194 (1971) - Anjan Shukla:
Finite model property for five modal calculi in the neighbourhood of S3. Notre Dame J. Formal Log. 12(1): 69-74 (1971) - Michael B. Smyth:
A diagrammatic treatment of syllogistic. Notre Dame J. Formal Log. 12(4): 483-488 (1971) - Boleslaw Sobocinski:
Lattice-theoretical and mereological forms of Hauber's law. Notre Dame J. Formal Log. 12(1): 81-85 (1971) - Boleslaw Sobocinski:
Atomistic mereology. I. Notre Dame J. Formal Log. 12(1): 89-103 (1971) - Boleslaw Sobocinski:
Atomistic mereology. II. Notre Dame J. Formal Log. 12(2): 203-213 (1971) - Boleslaw Sobocinski:
A note on an axiom-system of atomistic mereology. Notre Dame J. Formal Log. 12(2): 249-251 (1971) - Boleslaw Sobocinski:
Concerning some extensions of S4. Notre Dame J. Formal Log. 12(3): 363-370 (1971) - Boleslaw Sobocinski:
A new class of modal systems. Notre Dame J. Formal Log. 12(3): 371-377 (1971) - Boleslaw Sobocinski:
A proper subsystem of S4.O4.. Notre Dame J. Formal Log. 12(3): 381-384 (1971) - Theodore F. Sullivan:
Affine geometry having a solid as primitive. Notre Dame J. Formal Log. 12(1): 1-61 (1971) - Ivo Thomas:
In memoriam A. N. Prior (1914-1969). Notre Dame J. Formal Log. 12(2): 129-130 (1971) - Ivo Thomas:
A proof of a theorem of Łukasiewicz. Notre Dame J. Formal Log. 12(4): 507-508 (1971) - Vladeta Vuckovic:
Combinatorial operators and their quasi-inverses. Notre Dame J. Formal Log. 12(3): 305-308 (1971) - Robert G. Wengert:
The logic of essentially ordered causes. Notre Dame J. Formal Log. 12(4): 406-422 (1971) - William C. Wilcox:
A mistake in Copi's discussion of completeness. Notre Dame J. Formal Log. 12(4): 459-460 (1971) - J. Jay Zeman:
A study of some systems in the neighborhood of S4.4. Notre Dame J. Formal Log. 12(3): 341-357 (1971)
