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

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

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