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 35, Issue 2
Publication Date: June, 1970
Miscellaneous front pages, J. Symbolic Logic, Volume 35, Issue 2 (1970)
Axiomatizable Theories with Few Axiomatizable Extensions
D. A. Martin and M. B. Pour-El; 205-209
The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions
M. R. Krom; 210-216
The Meta-R.E. Sets, but Not the $\Pi^1_1$ Sets, Can Be Enumerated Without Repetition
James C. Owings; 223-229
The Craig-Lyndon Interpolation Theorem in 3-Valued Logic
R. R. Rockingham Gill; 230-238
Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees
C. E. M. Yates; 243-266
Reviews
Review: Paul Edwards, The Encyclopedia of Philosophy
William Craig and Benson Mates; 295-310
Review: John G. Kemeny, A New Approach to Semantics; Stephen Ullmann, The Principles of Semantics; Jens Erik Fenstad, Notes on Synonymy
L. Jonathan Cohen; 310-312
Review: Frank Plumpton Ramsey, The Foundations of Mathematics and Other Logical Essays
Anthony Anderson; 312
Review: Paul Kurtz, American Philosophy in the Twentieth Century: A Sourcebook
Alonzo Church; 312-313
Review: Ladislav Tondl, Sémantika otázky v problémové situaci (Semantics of the Question in the Problem-Solving Situation)
Zoltan Domotor; 314
Review: Rolf Schock, Some Definitions of Subjunctive Implication, of Counterfactual Implication, and of Related Concepts; Rolf Schock, A Note on Subjunctive and Counterfactual Implication
Arnold Koslow; 319
Review: Rolf Schock, A Definition of Event and Some of Its Applications
Arnold Koslow; 319-320
Review: Don Davis Roberts, The Existential Graphs and Natural Deduction
J. Jay Zeman; 320-321
Review: R. J. Plymen, A Model of the Arithmetic of Alephs in the Equation Calculus
V. Vuckovic; 321
Review: A. V. Idél'son, G. E. Minc, Matématičéskaá téoriá logičéskogo vyvoda
J. van Heijenoort; 323
Review: G. E. Minc, Priložénié. Téoréma Erbrana (Appendix. Herbrand's Theorem)
J. van Heijenoort; 323-325
Review: G. E. Minc, Téoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional'nymi simvolami; G. E. Minc, Leo F. Boron, Herbrand's Theorem for the Predicate Calculus with Equality and Functional Symbols
J. van Heijenoort; 325
Review: Shoji Maehara, Cut-Elimination Theorem Concerning a Formal System for Ramified Theory of Types which Admits Quantifications on Types
Moto-o Takahashi; 325
Review: Masao Ohnishi, Kazuo Matsumoto, A System for Strict Implication
Ivo Thomas; 326
Review: Richard L. Call, A Minimal Canonically Complete M-Valued Proper Logic for Each M
R. L. Graham; 326
Review: Vladimir Devidé, Matematička logika. Prvi dio (Klasična logika sudova). (Mathematical Logic. Part I (The Classical Logic of Propositions).)
Ivan Boh; 326-329
Review: Henri Moscovici, Dan Radu, Application de la Theorie des Categories dans la Logique Formelle
Anne Preller; 329
Review: W. V. Quine, On Cores and Prime Implicants of Truth Functions
S. Rudeanu; 329-330
Review: F.I. Andon, Ob odnom podhode k minimizacii sistem buleoyh funkcij (On One Approach to the Minimization of Systems of Boolean Functions); F. I. Andon, Algoritm uproscenia d.n.f. bulevyh funckij (A Simplification Alogorithm of a Disjunctive Normal Form of the Boolean Functions)
A. Adam; 330
Review: Paul Lorenzen, Einfuhrung in die Operative Logik und Mathematik
Perry Smith; 330
Review: Saul A. Kripke, J. N. Crossley, M. A. E. Dummett, Semantical Analysis of Intuitionistic Logic I
G. Kreisel; 330-332
Review: Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Jean van Heijenoort, On the Significance of the Principle of Excluded Middle in Mathematics, Especially in Function Theory; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mengelberg, On the Domains of Definition of Functions; Luitzen Egbertus Jan Brouwer, Stefan Bauer-Mangelberg, Intuitionistic Reflections on Formalism
Joan Rand Moschovakis; 332-333
Review: G. Kreisel, The Axiom of Choice and the Class of Hyperarithmetic Functions
Yiannis N. Moschovakis; 333-334
Review: G. Kreisel, Analysis of Cantor-Bendixson Theorem by Means of the Analytic Hierarchy
Yiannis N. Moschovakis; 334
Review: Paul R. Young, A Note on Pseudo-Creative Sets and Cylinders; Paul R. Young, On Semi-Cylinders, Splinters, and Bounded Truth-Table Reducibility; Paul R. Young, On Pseudo-Creative Sets, Splinters, and Bounded-Truth-Table Reducibility
Donald A. Martin; 335
Review: John N. Crossley, Kurt Schutte, Non-Uniqueness at $\omega^2$ in Kleene's O
Gustav B. Hensel; 336
Review: A.I. Mal'cev, Polno numerovannye mnozestva (Complete Enumeration of a Set); A. I. Mal'cev, K teorii vycislimyh semejstv obektov (On the Theory of Computable Families of Objects); A. I. Mal'cev, Pozitivnye i negativnye numeracii (Positive and Negative Numerations)
Elliott Mendelson; 336-337
Review: B. A. Trahtenbrot, Complexity of Algorithms and Computations (Special Course for Students of the Novosibirsk Government University)
Jiri Becvar; 337-339
Review: A. V. Gladkij, O raspoznavanii zaméščaémosti v rékursivnyh ázykah; A. V. Gladkij, M. Greendlinger, On the Recognition of Replaceability in Recursive Languages
Arto Salomaa; 340
Review: C. R. J. Clapham, An Embedding Theorem for Finitely Generated Groups
J. C. Shepherdson; 340-341
Review: Akiko Kino, On Definability of Ordinals in Logic with Infinitely Long Expressions; Akiko Kino, Correction to a Paper on Definability of Ordinals in Infinite Logic
Carol Karp; 341
Review: Kenneth Kunen, Implicit Definability and Infinitary Languages
E. G. K. Lopez-Escobar; 341-342
Review: Gebhard Furhken, J. W. Addison, Leon Henkin, Alfred Tarski, Languages with Added Quantifier There Exist at Least $\aleph_\alpha$
A. B. Slomson; 342
Review: Jens Erik Fenstad, A Note on Standard versus Non-Standard Topology
W. A. J. Luxemburg; 344
Review: Carol Karp, A Proof of the Relative Consistency of the Continuum Hypothesis
Leslie H. Tharp; 344-345
Review: M. J. Maczynski, Generalized free $\mathfrak{m}$-Products of $\mathfrak{m}$-Distributive Boolean Algebras with an $\mathfrak{m}$-amalgamated Subalgebra
F. M. Yaqub; 346
Review: M. J. Maczynski, T. Traczyk, The $\mathfrak{m}$-Amalgamation Property for $\mathfrak{m}$-Distributive Boolean Algebra
F. M. Yaqub; 346-347
Meeting of the Association for Symbolic Logic
James K. Feibleman, R. M. Smullyan and R. L. Vaught; 352-363
Notice of the 1971 International Congress for Logic, Methodology and Philosophy of Science
364
Miscellaneous back pages, J. Symbolic Logic, Volume 35, Issue 2 (1970)
