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 Über Freie Verbände. 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
  

Last update Tue Feb 14 04:21:04 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page