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 34, Issue 3
Publication Date: September, 1969
Nonfinitizability of Classes of Representable Cylindric Algebras
J. Donald Monk; 331-343
Nonfinitizability of Classes of Representable Polyadic Algebras
James S. Johnson; 344-352
On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers
M. Makkai; 437-459
Reviews
Review: Charles Hartshorne, Paul Weiss, Collected Papers of Charles Sanders Peirec
Alonzo Church; 494-495
Review: Paul Arthur Schilpp, The Philosophy of Bertrand Russell
Ann S. Ferebee; 495-496
Review: Nicholas Rescher, Recent Developments and Trends in Logic; Yehoshua Bar-Hillel, A Neglected Recent Trend in Logic
Krister Segerberg; 500
Review: William T. Fontaine, Avoidability and the Contrary-to-Fact Conditional in C. L. Stevenson and C. I. Lewis
B. J. Diggs; 500
Review: J. Dopp, Logiques Construites par une Methode de Deduction Naturelle
Dag Prawitz; 502
Review: Katuzi Ono, On Universal Character of the Primitive Logic
Jean Ladriere; 503-504
Review: Katuzi Ono, A Formalism for Primitive Logic and Mechanical Proof-Checking
Jean Ladriere; 504
Review: Satoshi Miura, A Remark on the Intersection of Two Logics
Jean Ladriere; 504-505
Review: Tsutomu Hosoi, On the Separation Theorem of Intermediate Propositional Calculi; Tsutomu Hosoi, The Separable Axiomatization of the Intermediate Propositional Systems $S_n$ of Godel
Alfred Horn; 505
Review: M. D. Gladstone, Some Ways of Constructing a Propositional Calculus of any Required Degree of Unsolvability
W. E. Singletary; 505-506
Review: Gilbert Baumslag, W. W. Boone, B. H. Neumann, Some Unsolvable Problems about Elements and Subgroups of Groups
J. L. Britton; 506
Review: William W. Boone, Hartley Rogers, On a Problem of J. H. C. Whitehead and a Problem of Alonzo Church
J. L. Britton; 506-507
Review: Trevor Evans, The Word Problem for Abstract Algebras; Trevor Evans, Embeddability and the Word Problem
C. R. J. Clapham; 507
Review: A. A. Fridman, On the Relation between the Word Problem and the Conjugacy Problem in Finitely Defined Groups
J. L. Britton; 507-508
Review: Michael O. Rabin, Hao Wang, Words in the History of a Turing Machine with a Fixed Input
Joyce Friedman; 508
Review: Philip K. Hooper, Monogenic Post Normal Systems of Arbitrary Degree
M. D. Gladstone; 508-509
Review: Michael Arbib, Manuel Blum, Machine Dependence of Degree of Difficulty
Alan Cobham; 509
Review: B. M. Kloss, S. L. Bloom, The Definition of Complexity of Algorithms
Alan Cobham; 509
Review: C. C. Elgot, Decision Problems of Finite Automata Design and Related Arithmetics
Robert McNaughton; 509-510
Review: M. A. Gavrilov, The Present State of the Theory of Relay Circuits
S. Rudeanu; 511-512
Review: J. Santos, H. Arango, La Operacion Puente en las Algebras de Boole
Florencio G. Asenjo; 512
Review: Chen Chung Chang, Alfred Horn, Prime Ideal Characterization of Generalized Post Algebras
Tadeusz Traczyk; 512
Review: C. C. Chang, A. Horn, On the Representation of $\alpha$-Complete Lattices
George Gratzer; 512-513
Review: Bjarni Jonsson, Defining Relations for Full Semigroups of Finite Transformations
Donald Monk; 513
Review: Dana Scott, Dimension in Elementary Euclidean Geometry
Wolfram Schwabhauser; 514
Review: Abraham Robinson, On Languages which are Based on Non-Standard Arithmetic
James R. Geiser; 516-517
Review: Clement F. Kent, Constructive Analogues of the Group of Permutations of the Natural Numbers
F. B. Cannonito; 517-518
Review: T. G. McLaughlin, Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphs
Wayne Richter; 518
Review: J. C. E. Dekker, Good Choice Sets; J. C. E. Dekker, The Recursive Equivalence Type of a Class of Sets
C. E. Bredlau; 518-519
Review: B. van Rootselaar, On Intuitionistic Difference Relations
R. E. Vesley; 519-520
Review: F. Richard Singer, Some Sheffer Functions for $M$-Valued Logics
R. L. Graham; 520
Review: David Pager, An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicates
Theodore Hailperin; 520
Review: Sze-Tsen Hu, Elementary Functions and Coordinate Geometry
Alonzo Church; 520-521
Meeting of the Association for Symbolic Logic Warsaw 1968
A. Mostowski and A. Blikle; 533-544
