The Journal of Symbolic Logic, Volume 21

Volume 21, Number 1, March 1956

• John G. Kemeny: A New Approach to Semantics--Part I. 1-27 BibTeX
• Leon Henkin: Two Concepts From the Theory of Models. 28-32 BibTeX
• Abraham Robinson: Note on a Problem of L. Henkin. 33-35 BibTeX
• Robin O. Gandy: On the Axiom of Extensionality--Part I. 36-48 BibTeX
• John R. Myhill: Solution of a Problem of Tarski. 49-51 BibTeX
• Irving M. Copi: Another Variant of Natural Deduction. 52-55 BibTeX
• Alan Cobham: Reduction to a Symmetric Predicate. 56-59 BibTeX
• A. N. Prior: Modality and Quantification in S5. 60-62 BibTeX
• M. H. Lob: Formal Systems of Constructive Mathematics. 63-75 BibTeX
• Irving M. Copi, R. L. Wilder: Nineteenth Meeting of the Association for Symbolic Logic. 109-112 BibTeX

Volume 21, Number 2, June 1956

• Wilhelm Ackermann: Begrundung Einer Strengen Implikation. 113-128 BibTeX
• Richard Montague, Leon Henkin: On the Definition of 'Formal Deduction'. 129-136 BibTeX
• John C. Shepherdson: On the Interpretation of Aristotelian Syllogistic. 137-147 BibTeX
• W. V. Quine: On Formulas with Valid Cases. 148 BibTeX
• John G. Kemeny: A New Approach to Semantics--Part II. 149-161 BibTeX
• Raphael M. Robinson: Arithmetical Representation of Recursively Enumerable Sets. 162-186 BibTeX
• G. D. W. Berry: Twentieth Meeting of the Association for Symbolic Logic. 216-224 BibTeX

Volume 21, Number 3, September 1956

• K. Jaakko, Jaakko Hintikka: Identity, Variables, and Impredicative Definitions. 225-245 BibTeX
• Steven Orey: On omega-Consistency and Related Properties. 246-252 BibTeX
• Kurt Bing: On Simplifying Truth-Functional Formulas. 253-254 BibTeX
• Alan Ross Anderson: Independent Axiom Schemata for S5. 255-256 BibTeX
• Gustav Bergmann: The Representations of S5. 257-260 BibTeX
• John C. Shepherdson: Note on a System of Myhill. 261-264 BibTeX
• Gideon Schwarz: A Note on Transfinite Iteration. 265-266 BibTeX
• W. V. Quine: Unification of Universes in Set Theory. 267-279 BibTeX
• Steven Orey: On the Relative Consistency of Set Theory. 280-290 BibTeX
• Elliott Mendelson: Some Proofs of Independence in Axiomatic Set Theory. 291-303 BibTeX
• H. Gordon Rice: On Completely Recursively Enumerable Classes and Their Key Arrays. 304-308 BibTeX

Volume 21, Number 4, December 1956

• Frederic Brenton Fitch: Recursive Functions in Basic Logic. 337-346 BibTeX
• E. J. Lemmon: Alternative Postulate Sets for Lewis's S5. 347-349 BibTeX
• Elliott Mendelson: The Independence of a Weak Axiom of Choice. 350-366 BibTeX