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 1
Publication Date: March, 1970
Miscellaneous front pages, J. Symbolic Logic, Volume 35, Issue 1 (1970)
Algebraic Completeness Results for $R$-Mingle and Its Extensions
J. Michael Dunn; 1-13
Bases and $\alpha$-Dimensions of Countable Vector Spaces with Recursive Operations
Alan G. Hamilton; 85-96
A Problem in the Theory of Constructive Order Types
Robin O. Gandy and Robert I. Soare; 119-121
Reviews
Review: Ernest A. Moody, The Medieval Contribution to Logic; Ernest A. Moody, A Quodlibetal Question of Robert Holkot, O.P., on the Problem of the Objects of Knowledge and of Belief; Ernest A. Moody, Buridan and a Dilemma of Nominalism
Desmond Paul Henry; 122-124
Review: Henry E. Kyburg, Probability and the Logic of Rational Belief
Peter Krauss; 127-128
Review: Patrick Suppes, Measurement, Empirical Meaningfulness, and Three-Valued Logic; Patrick Suppes, J. W. Addison, Leon Henkin, Alfred Tarski, Logics Appropriate to Empirical Theories
Robert L. Causey; 129-131
Review: W. A. Verloren van Themaat, Raumliche Vorstellung und Mathematisches Erkenntnisvermogen. Erster Band
Hans Freudenthal; 131-132
Review: J. F. Staal, Some Semantic relations Between Sentoids
Gilbert H. Harman; 132-133
Review: Erik Stenius, Mood and Language-Game; Lennart Aqvist, Semantic and Pragmatic Characterizability of Linguistic Usage
Bruce Vermazen; 133-134
Review: Hector-Neri Castaneda, `Ought' and Assumption in Moral Philosophy
Jonathan Bennett; 134-135
Review: Saul A. Kripke, Semantical Analysis of Modal Logic II. Non-Normal Modal Propositional Calculi; R. Routley, H. Montgomery, The Inadequacy of Kripke's Semantical Analysis of D2 and D3
David Makinson; 135
Review: D. Makinson, On Some Completeness Theorems in Modal Logic
Lennart Aqvist; 135-136
Review: E. J. Lemmon, An Extension Algebra and the Modal System T; E. J. Lemmon, Algebraic Semantics for Modal Logics
David Makinson; 136-137
Review: M. J. Cresswell, Note on a System of Aqvist; M. K. Rennie, $S3(S) = S3.5$
Krister Segerberg; 137
Review: A. Bialynicki-Birula, H. Rasiowa, On Constructible Falsity in the Constructive Logic with Strong Negation
David Nelson; 138
Review: V. A. Jankov, Sue Walker, Some Superconstructive Propositional Calculi; V. A. Jankov, Elliott Mendelson, Realizable formulas of Propositional Logic; V. A. Jankov, Elliott Mendelson, The Relationship Between Deducibility in the Intuitionist Propositional calculus and Finite Implicational Structures
Gene F. Rose; 138-139
Review: Antonio Diego, Jean Porte, Luisa Iturrioz, Sur les Algebres de Hilbert
C. G. McKay; 139
Review: T. Thacher Robinson, Independence of Two Nice Sets of Axioms for the Propositional Calculus
John R. Chidgey; 139-140
Review: Karl Schroter, Methoden zur Axiomatisierung Beliebiger Aussagen- und Pradikatenkalkule
J. Barkley Rosser; 140
Review: Rolf Schock, On Finitely Many-Valued Logics; Rolf Schock, On Denumerably Many-Valued Logics; R. Schock, Some Theorems on the Relative Strengths of Many-Valued Logics
Robert K. Meyer; 140-142
Review: Alan Rose, Formalisation du Calcul Propositionnel implicatif a $\aleph_0$-Valued Lukasiewicz Propositional Calculus with Varible Functors
B. Scarpellini; 142
Review: Alan Rose, A Formalisation of the $\aleph_0$-Valued Lukasiewicz Implicational Propositional Calculus with Variable Functors
B. Scarpellini; 143
Review: Andrzej Mostowski, An Example of a Non-Axiomatizability Many Valued Logic
Louise Hay; 143
Review: A. Mostowski, Axiomatizability of some many Valued Predicate Calculi
Louise Hay; 143
Review: S. Ju. Maslov, G. E. Minc, V. P. Orevkov, E. Mendelson, Unsolvability in the Constructive Predicate Calculus of Certain Classes of Formulas Containing Only Monadic Predicate Variables
Georg Kreisel; 143-144
Review: Gerhard Gentzen, M. E. Szabo, Investigations into Logical Deduction; Paul Bernays, Introduction
John Riser; 144-145
Review: Satoko Titani, An Algebraic Formulation of Cut-Elimination Theorem
Moto-o Takahashi; 145-146
Review: Yoemon Sampei, Note on the Effective Choice of a Point in the Complement of an Analytic Set
M. R. Krom; 146
Review: Yoemon Sampei, On the uniformization of a Set of Class $A_{\rho\sigma}$
M. R. Krom; 146-147
Review: Edward J. Cogan, A Formalization of the Theory of Sets from the Point of View of Combinatory Logic; Rainer Titgemeyer, Uber einen Widerspruch in Cogans Darstellung der Mengenlehre
Jonathan P. Seldin; 147
Review: Maarten Wicher Visser Bunder, Set Theory based on Combinatory Logic
Jonathan P. Seldin; 147-148
Review: Raphael M. Robinson, Binary Relations as Primitive Notions in Elementary Geometry
L. W. Szczerba; 148
Review: A. H. Lightstone, A. Robinson, On the Representation of Herbrand Functions in Algebraically Closed Fields
Erwin Engeler; 148-149
Review: A. Robinson, Model Theory and Non-Standard Arithmetic
William N. Reinhardt; 149
Review: H. A. Pogorzelski, Nonconcatenative Abstract Skolem Arithmetics
H. Hermes; 150
Review: M. H. Lob, Concatenation as Basis for a Complete System of Arithmetic; M. H. Lob, Formal Systems of Constructive Mathematics
Charles Parsons; 150
Review: Martin Davis, Hilary Putnam, Julia Robinson, The Decision Problem for Exponential Diophantine Equations
Hartley Rogers; 151-152
Review: Julia Robinson, The Undecidability of Exponential Diophantine Equations
Hartley Rogers; 152
Review: L. Kalmar, Uber Arithmetische Funktionen von unendlich Vielen Variablen, Welche an Jeder Stelle Bloss von Einer Endlichen Anzahl von Variabeln Abhangig sind
D. A. Clarke; 152
Review: Dieter Titgemeyer, Untersuchungen Uber die Struktur des Kleene-Postschen Halbverbandes der Grade der Rekursiven Unlosbarkeit
S. K. Thomason; 155-156
Review: Joseph Barback, An md-Class of Sets Indexed by a Regressive Function
Matthew J. Hassett; 157
Review: R. O. Gandy, John N. Crossley, Computable Functionals of Finite Type I
Richard A. Platek; 157-158
Review: R. M. Baer, Certain Directed post Systems and Automata
Calvin C. Elgot; 158-159
Review: R. Frejvald, Complexity of Recognition of Symmetry on Turing Machines with Input; A. M. Barzdin, Complexity of Recognition of Symmetry on Turing Machines
Albert A. Mullin; 159
Review: Eric Foxley, Determination of the Set of all Four-Variable Formulae Corresponding to Universal Decision Elements using a Logical Computer
A. Rose; 160
Review: Eric Foxley, The Construction of Scale-of-two Mechanisms from Universal Decision Elements
A. Rose; 160
Review: H. H. Loomis, R. H. Wyman, On Complete Sets of Logic Primitives
H. B. Enderton; 160
Review: Layman E. Allen, Toward More Clarity in Business Communication by Modern Logical Methods; Layman E. Allen, Toward a Procedure for Logically Cataloguing Knowledge
Robert F. Barnes; 162-164
Review: Newton P. Stallknecht, Robert S. Brumbaugh, The Spirit of Western Philosophy. A Historical Interpretation Including Selections from the Major European Philosophers
Irving M. Copi; 164
Review: Newton P. Stallknecht, Robert S. Brumbaugh, The Compass of Philosophy. An Essay in Intellectual Orientation
Irving M. Copi; 164-165
Review: Lewis White Beck, Can Kant's Synthetic Judgements be made Analytic?
Anthony Anderson; 167-168
Meeting of the Association for Symbolic Logic
Jaakko Hintikka, Karel De Bouvere and Isaac Levi; 179-187
Miscellaneous back pages, J. Symbolic Logic, Volume 35, Issue 1 (1970)
