Volume 31, Number 1, March 1966
M. H. Lob
: Extensional Interpretations of Modal Logics.
Paul R. Young
: Linear Orderings under One-One Reducibility.
Volume 31, Number 2, June 1966
C. E. M. Yates
: A Minimal Pair of Recursively Enumerable Degrees.
E. J. Lemmon
: Algebraic Semantics for Modal Logics II.
Philip K. Hooper
: The Undecidability of the Turing Machine Immortality Problem.
Volume 31, Number 3, September 1966
William A. Howard
, Georg Kreisel
: Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis.
Robert A. Di Paola
: Pseudo-Complements and Ordinal Logics based on Consistency Statements.
: On Definability of Ordinals in Logic with Infinitely Long Expressions.
: There are Infinitely many Diodorean Modal Functions.
Alistair H. Lachlan
: The Impossibility of finding Relative Complements for Recursively Enumerable Degrees.
: A Generalisation of Productive Set.
William H. Hanson
: On Formalizing the Distinction between Logical and Factual Truth.
Volume 31, Number 4, December 1966
Gerald J. Massey
: The Theory of Truth Tabular Connectives, both Truth Functional and Modal.
R. A. Bull
: MIPC as the Formalisation of an Intuitionist Concept of Modality.
: Syntactical and Semantical Properties of Generalized Quantifiers.
: An Axiomatic System for the First Order Language with an Equi-Cardinality Quantifier.
: Meeting of the Association for Symbolic Logic.