The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 22, Issue 3
Publication Date: September, 1957
Inference by Complementary Elimination
Bernard K. Symonds and Roderick M. Chisholm; 233-236
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory
William Craig; 269-285
Reviews
Review: Paul Lorenzen, Einfuhrung in die Operative Logik und Mathematik
Th. Skolem; 289-290
Review: J. Barkley Rosser, Logique Combinatoire et $\lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles
Frederic B. Fitch; 293
Review: J. Barkley Rosser, The Relative Strength of Zermelo's Set Theory and Quine's New Foundations
Vaclav E. Benes; 294
Review: Hao Wang, The Categoricity Question of Certain Grand Logics
Vaclav E. Benes; 294
Review: A. Seidenberg, A New Decision Method for Elementary Algebra
Abraham Robinson; 295
Review: Rozsa Peter, Rekurziv Definiciok, Melyek Valtozo Szamu Korabbi Fuggvenyeteket Hasznalnak Fel; Rozsa Peter, Ujabb Bizonyitias Arra, Hogy a Csillag-Kalmar-Fele Elemi Fuggvenyek Osztalya Szukebb, Mint a Primitiv-Rekurziv Fuggvenyeke; Rozsa Peter, Die Mathematische Tatigkeit von Laszlo Kalmar
295-296
Review: Janos Suranyi, Uber das Entscheidungsproblem der Mathematischen Logik
R. Peter; 296
Review: Andras Hajnal, Laszlo Kalmar, Eine Bemerkung zum Godelschen Axiomensystem der Mengenlehre
R. Peter; 296
Review: Yosihisa Izumi, Remarques sur la Notion de la Perfection
Gert H. Muller; 296-297
Review: W. V. Quine, Reduction to a Dyadic Predicate; Alan Cobham, Reduction to a Symmetric Predicate
Wilhelm Ackermann; 297
Review: Kurt Schutte, Ein System des Verknupfenden Schlie\beta ens
Wilhelm Ackermann; 297-298
Review: Abraham A. Fraenkel, On the Crisis of the Principle of the Excluded Middle
Alfons Borgers; 299
Review: Motokiti Kondo, Comptes rendus hebdomadaires des seances de l'Academie des Sciences
Paul Lorenzen; 299-300
Review: J. Riguet, Quelques Applications de la Theorie des Relations Binaires
Roland Fraisse; 300
Review: Karl Menger, On Variables in Mathematics and in Natural Science; Karl Menger, Variables, de Diverses Natures; Karl Menger, What are Variables and Constants
Alonzo Church; 300-301
Review: A. V. Kuznecov, B. A. Trahtenbrot, An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baire
J. W. Addison; 301-302
Review: J. Myhill, J. C. Shepherdson, Effective Operations on Partial Recursive Functions
J. C. E. Dekker; 303
Review: John Myhill, Arithmetic with Creative Definitions by Induction
Gert H. Muller; 303-304
Review: G. Kreisel, A Variant to Hilbert's Theory of the Foundations of Arithmetic
Andrzej Mostowski; 304-306
Review: Giovanni Vacca, Perche non si e Sviluppata la Scienza in Cina; Giovanni Vacca, Matematica e Tecnica: Origine e Sviluppo dei Concetti Matematici; Giovanni Vacca, Logica Matematica e Logistica--Sui Postulati dell'Aritmetica e la loro Compatibilita
Domenico Parisi; 307-308
Review: H. Gericke, Algebraische Betrachtungen zu den Aristotelischen Syllogismen
Klaus Hartig; 308-309
Review: James Wilkinson Miller, Exercises in Introductory Symbolic Logic
Charles A. Baylis; 310-311
Review: Hiram J. McLendon, Uses of Similarity of Structure in Contemporary Philosophy
J. Dopp; 311-313
Review: John Myhill, Some Philosophical Implications of Mathematical Logic. I Three Classes of Ideas; Vaclav Edvard Benes, On Some Alleged Implications of Mathematical Logic
Hugues Leblanc; 314-316
Review: Max Black, How Difficult Might Induction Be; Max Black, Carnap on Semantics and Logic
Atwell R. Turquette; 316-317
Review: Charles A. Baylis, Universals, Communicable Knowledge, and Metaphysics
Jonathan Bennett; 319
Review: Wolfgang Stegmuller, Das Universalienproblem Einst und Jetzt
Jonathan Bennett; 319-320
Review: William H. Dray, Professor Ryle on Arguments and Inference Licenses; Romane Clark, Natural Inference
J. F. Thomson; 321
Review: Philip P. Hallie, On So-Called "Counterfactual Conditionals."
John Watling; 321
Review: Gabriel Nuchelmans, The Analysis of Counterfactual Conditionals
John Watling; 323-324
Review: Robert L. Stanley, A Theory of Subjunctive Conditionals
Alan Ross Anderson; 324-325
Review: Robert Blanche, Quantity, Modality, and Other Kindred Systems of Categories
E. J. Lemmon; 325-326
Review: Arata Ishimoto, A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3."; Arata Ishimoto, A Formulation of the Modal Propositional Calculus Equivalent to S4
A. N. Prior; 326-327
Review: Wilhelm Ackermann, Begrundung Einer Strengen Implikation
Alan Ross Anderson; 327-328
Review: Atwell R. Turquette, Many-Valued Logics and Systems of Strict Implication
Alan Ross Anderson; 328
Review: A. N. Prior, Many-Valued and Modal Systems: An Intuitive Approach
Alan Ross Anderson; 328-329
Review: Erik Gotlind, A Lesniewski-Mihailescu-Theorem for m-Valued Propositional Calculi
Gene F. Rose; 329
Review: Ryoichi Takekuma, On a Nine-Valued Propositional Calculus
Alan Ross Anderson; 330
Review: Helena Rasiowa, On a Fragment of the Implicative Propositional Calculus
Johannes Bendiek; 330
Review: Andrzej Grzegorczyk, Bemerkungen uber das Verstehen Logischer Gesetze
Johannes Bendiek; 330
Review: Stig Kanger, A Note on Partial Postulate Sets for Propositional Logic
T. Thacher Robinson; 330-331
Review: Allen Newell, Herbert A. Simon, The Logic Theory Machine. A Complex Information Processing System
Andrzej Ehrenfeucht; 331-332
Review: Arthur W. Burks, Irving M. Copi, The Logical Design of an Idealized General-Purpose Computer
Robert McNaughton; 332
Review: V. I. Sestakov, The Modeling of the Propositional Calculus by Means of Simple Four-Terminal Networks
Zdzislaw Pawlak; 332-333
Review: V. I. Sestakov, An Algebraic Method for the Synthesis of r-Positional Switching Circuits
Gene F. Rose; 333
Review: G. N. Povarov, A Contribution to the Mathematical Theory of $(1,k)$ Contact Networks
Pawel Szeptycki; 334
Review: George H. Mealy, A Method for Synthesizing Sequential Circuits
Calvin C. Elgot; 334-335
