The Journal of Symbolic Logic, Volume 22

Volume 22, Number 1, March 1957

• Leon Henkin: A Generalization of the Concept of omega-Completeness. 1-14
• Ivo Thomas: Eulerian Syllogistic. 15-16
• Robert Blanche: Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires. 17-18
• Theodore Hailperin: A Theory of Restricted Quantification I. 19-35
• Andrzej Ehrenfeucht: Two Theories with Axioms Built by Means of Pleonasms. 36-38
• Hilary Putnam: Decidability and Essential Undecidability. 39-54
• Raymond M. Smullyan: Languages in Which Self Reference is Possible. 55-67
• L. Gal: Twenty-First Annual Meeting of the Association for Symbolic Logic. 105-112

Volume 22, Number 2, June 1957

• Theodore Hailperin: A Theory of Restricted Quantification II. 113-129
• N. J. Fine, Ronald Harrop: Uniformization of Linear Arrays. 130-140
• Kurt Bing: On the Axioms of Order and Succession. 141-144
• Hao Wang: The Axiomatization of Arithmetic. 145-158
• Richard Friedberg: A Criterion for Completeness of Degrees of Unsolvability. 159-160
• Solomon Feferman: Degrees of Unsolvability Associated with Classes of Formalized Theories. 161-175
• E. J. Lemmon: New Foundations for Lewis Modal Systems. 176-186
• A. H. Lightstone, Abraham Robinson: On the Representation of Herbrand Functions in Algebraically Closed Fields. 187-204

Volume 22, Number 3, September 1957

• L. Jonathan Cohen: Can the Logic of Indirect Discourse be Formalised? 225-232
• Bernard K. Symonds, Roderick M. Chisholm: Inference by Complementary Elimination. 233-236
• Henryk Hiz: Inferential Equivalence and Natural Deduction. 237-240
• Alan Ross Anderson: Independent Axiom Schemata for Von Wright's M. 241-244
• K. Jaakko, Jaakko Hintikka: Vicious Circle Principle and the Paradoxes. 245-249
• William Craig: Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem. 250-268
• William Craig: Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. 269-285

Volume 22, Number 4, December 1957

• Joyce Friedman: Some Results in Church's Restricted Recursive Arithmetic. 337-342
• Frederic Brenton Fitch: A Definition of Existence in Terms of Abstraction and Disjunction. 343-344
• Hugues Leblanc: On Logically False Evidence Statements. 345-349