The Journal of Symbolic Logic, Volume 31

Volume 31, Number 1, March 1966

Stanislaw Jaskowski: On Formulas in which no Individual Variable occurs more than Twice. 1-6 BibTeX
C. A. Meredith: Postulates for Implicational Calculi. 7-9 BibTeX
Alistair H. Lachlan: On the Indexing of Classes of Recursively Enumerable Sets. 10-22 BibTeX
M. H. Lob: Extensional Interpretations of Modal Logics. 23-45 BibTeX
E. J. Lemmon: Algebraic Semantics for Modal Logics I. 46-65 BibTeX
Donald A. Martin: On a Question of G. E. Sacks. 66-69 BibTeX
Paul R. Young: Linear Orderings under One-One Reducibility. 70-85 BibTeX
J. W. Swanson: A Reduction Theorem for Normal Algorithms. 86-97 BibTeX

C. E. M. Yates: A Minimal Pair of Recursively Enumerable Degrees. 159-168 BibTeX
Calvin C. Elgot, Michael O. Rabin: Decidability and Undecidability of Extensions of Second (First) Order Theory of (Generalized) Successor. 169-181 BibTeX
James W. Thatcher: Decision Problems for Multiple Successor Arithmetics. 182-190 BibTeX
E. J. Lemmon: Algebraic Semantics for Modal Logics II. 191-218 BibTeX
Philip K. Hooper: The Undecidability of the Turing Machine Immortality Problem. 219-234 BibTeX
Roland Fraisse: Une Generalisation de L'Ultraproduit. 235-244 BibTeX
John N. Crossley: Meeting of the Association for Symbolic Logic. 290-302 BibTeX

Raymond M. Smullyan: Trees and Nest Structures. 303-321 BibTeX
Raymond M. Smullyan: Finite Nest Structures and Propositional Logic. 322-324 BibTeX
W. A. Howard, G. Kreisel: Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis. 325-358 BibTeX
Robert A. Di Paola: Pseudo-Complements and Ordinal Logics based on Consistency Statements. 359-364 BibTeX
Akiko Kino: On Definability of Ordinals in Logic with Infinitely Long Expressions. 365-375 BibTeX
Frank B. Cannonito: Hierarchies of Computable Groups and the Word Problem. 376-392 BibTeX
Burton Dreben, John Denton: A Supplement to Herbrand. 393-398 BibTeX
Storrs McCall, Robert K. Meyer: Pure Three-Valued Lukasiewiczian Implication. 399-405 BibTeX
David Makinson: There are Infinitely many Diodorean Modal Functions. 406-408 BibTeX
Kenneth R. Brown, Hao Wang: Short Definitions of the Ordinals. 409-414 BibTeX
Storrs McCall: Connexive Implication. 415-433 BibTeX
Alistair H. Lachlan: The Impossibility of finding Relative Complements for Recursively Enumerable Degrees. 434-454 BibTeX
R. Mitchell: A Generalisation of Productive Set. 455-459 BibTeX
William H. Hanson: On Formalizing the Distinction between Logical and Factual Truth. 460-477 BibTeX
Gerald Standley: Testing Singly Quantified Tautologies. 478-480 BibTeX

John N. Crossley: Constructive Order Types, II. 525-538 BibTeX
Joseph R. Shoenfield: A Theorem on Minimal Degrees. 539-544 BibTeX
M. J. Cresswell: Functions of Propositions. 545-560 BibTeX
William S. Hatcher: Logical Truth and Logical Implication. 561 BibTeX
David Nelson: Non-Null Implication. 562-572 BibTeX
Alistair H. Lachlan: A Note on Universal Sets. 573-574 BibTeX
Robert K. Meyer: Pure Denumerable Lukasiewiczian Implication. 575-580 BibTeX
M. D. Gladstone: Finite Models for Inequations. 581-592 BibTeX
Gerald J. Massey: The Theory of Truth Tabular Connectives, both Truth Functional and Modal. 593-608 BibTeX
R. A. Bull: MIPC as the Formalisation of an Intuitionist Concept of Modality. 609-616 BibTeX
Mitsuru Yasuhara: Syntactical and Semantical Properties of Generalized Quantifiers. 617-632 BibTeX
Mitsuru Yasuhara: An Axiomatic System for the First Order Language with an Equi-Cardinality Quantifier. 633-640 BibTeX
William H. Hanson: On some Alleged Decision Procedures for S4. 641-643 BibTeX
Sidney Morgenbesser, Elliott Mendelson: Annual Meeting of the Association for Symbolic Logic. 682-696 BibTeX
Martin Davis: Meeting of the Association for Symbolic Logic. 697-706 BibTeX