Volume 34, Number 1, Winter 1993
: On the Maximality of Some Pairs of p-t Degrees.
: Formalizing the Logic of Positive, Comparative, and Superlative.
: Single Axioms for the Left Group and the Right Group Calculi.
Volume 34, Number 2, Spring 1993
: The World, the Facts, and Primary Logic.
: Non-Classical Syllogistic Inference and the Method of Resolution.
: On Closed Elementary Cuts in Recursively Saturated Models of Peano Arithmetic.
J. Roger Hindley
: BCK and BCI Logics, Condensed Detachment and the 2-Property.
M. Gordon Beavers
: Extensions of the ℵ0-Valued Lukasiewicz Propositional Logic.
: Quantified Modal Logics of Positive Rational Numbers and Some Related Systems.
: Isomorphisms of Finite Cylindrical Set Algebras of Characteristic Zero.
: A Tableau Style Proof System for Two Paraconsistent Logics.
Volume 34, Number 3, Summer 1993
: The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 1.
Stuart T. Smith
: Quadratic residues and x3+y3=z3 in models of IE1 and IE2.
Volume 34, Number 4, Fall 1993
: The fibrational formulation of intuitionistic predicate logic I: completeness according to Gödel, Kripke, and Läuchli, Part 2.
: Minimal doxastic logic: probabilistic and other completeness theorems.
: The Gupta-Belnap systems S# and S* are not axiomatisable.
: A parity-based Frege proof for the symmetric pigeonhole principle.
: Consequential implication. A correction to: "Decision procedures for logics of consequential implication".