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 36, Issue 4
Publication Date: December, 1971
Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of $<N, +>$
Ralph McKenzie; 607-609
Reviews
Review: Judith Schoenberg, Belief and Intention in the Epimenides
Alonzo Church; 671-672
Review: Konrad Marc-Wogau, Bemerkungen Zum Begriff "Sinnesdatum" in der Diskussion der Letzten Jahre; Justus Hartnack, A Note on Existence. Remarks on Professor Konrad Marc-Wogau's "Bemerkungen zum Begriff `Sinnesdatum' in der Diskussion der Letzten Jahre" (Theoria XVI); Konrad Marc-Wogau, Bemerkung zum Ausdruck "Existiert." Antwort auf die Bemerkungen von Justus Hartnack
Jan Berg; 673
Review: A. Heyting, Methodes et Problemes de L'intuitionnisme
O. Chateaubriand; 674-675
Review: Jacques Sublet, Essai de Formalisation Complete du Raisonnement Mathematique sur la Base de Trois Operations
Frederic B. Fitch; 675
Review: J. C. C. McKinsey, Patrick Suppes, On the Notion of Invariance in Classical Mechanics
Perry Smith; 675-676
Review: Mark Kac, Stanislaw M. Ulam, Frederick A. Praeger, Mathematics and Logic. Retrospect and Prospects
David Booth; 677
Review: Gerson B. Robison, An Introduction to Mathematical Logic
William E. Gould; 679
Review: Th. Skolem, Two Remarks on Set Theory; John H. Harris, On a Problem of Th. Skolem
Jean E. Rubin; 680
Review: V. Devide, A Proof of the Well-Ordering Theorem; Vladimir Devide, A Proof of Zermelo's Theorem
Garrel Pottinger; 681
Review: Gregorio Klimovsky, Tres Enunciados Equivalentes al Teorema de Zorn
Perry Smith; 681
Review: Wolfram Schwabhauser, On Models of Elementary Elliptic Geometry
L. W. Szczerba; 682
Review: Roman Sikorski, Products of Generalized Algebras and Products of Realizations
Donald Monk; 682
Review: James Ax, Simon Kochen, Diophantine Problems Over Local Fields I; James Ax, Simon Kochen, Diophantine Problems Over Local Fields II. A Complete set of Axioms for $p$-adic number theory; James Ax, Simon Kochen, Diophantine Problems over Local Field III. Decidable Fields
Abraham Robinson; 683-684
Review: J. P. Ressayre, Sur les Theories du Premier Ordre Categoriques en un Cardinal
H. Jerome Keisler; 684-685
Review: Erwin Engeler, Zur Beweistheorie von Sprachen mit Unendlich Langen Formela
E. G. K. Lopez-Escobar; 685
Review: H. Jerome Keisler, Logic with the Quantifier There Exist Uncountably Many
Gebhard Fuhrken; 685-687
Review: K. L. de Bouvere, A Mathematical Characterization of Explicit Definability
Abraham Robinson; 687
Review: Yoshindo Suzuki, A Complete Classification of the $\Delta\frac{1}{2}$-functions
Stephen J. Garland; 688
Review: A. Mostowski, Quelques Applications de la Topologie a La Logique Mathematique
Perry Smith; 688
Review: Richard Montague, Theories Incomparable with Respect to Relative Interpretability
S. Feferman; 688
Review: Jerzy Slupecki, Witold A. Pogorzelski, A Variant of the Proof of the Completeness of the First Order Functional Calculus
Perry Smith; 688-689
Review: Wolfgang E. Spiess, Friedrich G. Rheingans, Einfuhrung in das Programmieren in FORTRAN
Perry Smith; 689
Review: Richard Tursman, The Shortest Axioms of the Implicational Calculus; Ivo Thomas, Final Word on a Shortest Implicational Axiom
Ann S. Ferebee; 690
Review: Alan Rose, Extensions of Some Theorems of Schmidt and McKinsey, I
Ann S. Ferebee; 690
Review: Alan Rose, An Alternative Generalisation of the Concept of Duality
Gerald Standley; 690-691
Review: A. A. Zinov'ev, A Method of Describing the Truth-Functions of the n-Valued Propositional Calculus
I. Rosenberg; 691
Review: R. L. Graham, On n-Valued Functionally Complete Truth Functions
Norman M. Martin; 691
Review: Gerald J. Massey, Binary Closure-Algebraic Operations that are Functionally Complete
R. A. Bull; 691
Review: Boleslaw Sobocinski, Note on G. J. Massey's Closure-Algebraic Operation
R. A. Bull; 691
Review: F. R. Drake, On McKinsey's Syntactical Characterizations of Systems of Modal Logic
David Makinson; 691-692
Review: David Makinson, A Normal Modal Calculus Between T and S4 without the Finite Model Property
Ronald Harrop; 692
Review: Alonzo Church, Laszlo Kalmar, An Independence Question in Recursive Arithmetic
Julia Robinson; 692-693
Review: V. S. Cernjavskii, J. M. Danskin, On a Class of Normal Markov Algorithms
P. Schreiber; 693
Review: Frank B. Cannonito, The Godel Incompleteness Theorem and Intelligent Machines
Perry Smith; 693
Review: Sheila A. Greibach, The Unsolvability of the Recognition of Linear Context-free Languages
Seymour Ginsburg; 693
Review: Robert W. Floyd, A Note on Mathematical Induction on Phrase Structure Grammars
Asa Kasher; 693-694
Review: B. G. Mirkin, An Algorithm for Constructing a Base in a Language of Regular Expressions
J. A. Brzozowski; 694
Meeting of the Association for Symbolic Logic
Michael O. Rabin and Michael Morley; 696-710
