Volume 52, Number 1, February 1993
: Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas.
: The simple substitution property of the intermediate propositional logics on finite slices.
: Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics.
Richard B. White
: A consistent theory of attributes in a logic without contraction.
Vladimir L. Vasyukov
: The completeness of the factor semantics for Lukasiewicz's infinite-valued logics.
Volume 52, Number 2, May 1993
Automated Theorem Proving for Non-Classical Logics
: Automated theorem proving for Lukasiewicz logics.
Ian P. Gent
: Theory matrices (for modal logics) Using alphabetical monotonicity.
: The relative complexity of analytic tableaux and SL-resolution.
Volume 52, Number 3, August 1993
Volume 52, Number 4, November 1993
: Inductive inference in the limit for first-order sentences.
: Syntactical results on the arithmetical completeness of modal logic.
Ross T. Brady
: Rules in relevant logic-II: formula representation.
Dev Kumar Roy
: Recursive versus recursively enumerable binary relations.