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

Volume 21, Number 2, June 1956

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

Volume 21, Number 3, September 1956

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

Volume 21, Number 4, December 1956

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

Last update Mon Feb 13 04:53:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page