The Journal of Symbolic Logic, Volume 16

Volume 16, Number 1, March 1951

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

Volume 16, Number 2, June 1951

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

Volume 16, Number 3, September 1951

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

Volume 16, Number 4, December 1951

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