The Journal of Symbolic Logic, Volume 16

Volume 16, Number 1, March 1951

• Robert McNaughton: A Theorem About Infinite-Valued Sentential Logic. 1-13 BibTeX
• Alfred Horn: On Sentences Which are True of Direct Unions of Algebras. 14-21 BibTeX
• J. Barkley Rosser, Atwell R. Turquette: Axiom Schemes for M-Valued Functional Calculi of First Order: Part II. Deductive Completeness. 22-34 BibTeX
• John R. Myhill: Report on Some Investigations Concerning the Consistency of the Axiom of Reducibility. 35-42 BibTeX
• Maurice L'Abbe: On the Independence of Henkin's Axioms for Fragments of the Propositional Calculus. 43-45 BibTeX

Volume 16, Number 2, June 1951

• Paul Lorenzen: Algebraische und Logistische Untersuchungen Uber Freie Verbande. 81-106 BibTeX
• Andrzej Mostowski: On the Rules of Proof in the Pure Functional Calculus of the First Order. 107-111 BibTeX
• Schiller Joe Scroggs: Extensions of the Lewis System S5. 112-120 BibTeX
• Frederic Brenton Fitch: A Demonstrably Consistent Mathematics - Part II. 121-124 BibTeX
• Raphael M. Robinson: Arithmetical Definability of Field Elements. 125-126 BibTeX
• Soren Hallden: On the Semantic Non-Completeness of Certain Lewis Calculi. 127-129 BibTeX
• John R. Myhill: Towards a Consistent Set-Theory. 130-136 BibTeX

Volume 16, Number 3, September 1951

• John C. Shepherdson: Inner Models for Set Theory - Part I. 161-190 BibTeX
• R. M. Martin, J. H. Woodger: Toward an Inscriptional Semantics. 191-203 BibTeX
• Alan Rose: Strong Completeness of Fragments of the Propositional Calculus. 204 BibTeX
• Clifford D. Firestone: Thirteenth Meeting of the Association for Symbolic Logic. 236-240 BibTeX

Volume 16, Number 4, December 1951

• G. Kreisel: On the Interpretation of Non-Finitist Proofs - Part I. 241-267 BibTeX