Volume 3, Number 1, February 1993
: A Tableaux Method for Systematic Simultaneous Search for Refutationas and Models Using Equational Problems.
: An O(n log n)-Space Decision Procedure for Intuitionistic Propositional Logic.
Volume 3, Number 2, April 1993
Kevin J. Compton
: A Deductive System for Existential Least Fixpoint Logic.
Volume 3, Number 3, June 1993
: A Complete Proof Synthesis Method for the Cube of Type Systems.
: Defeasible Dialectics: A Controversy-Oriented Approach Towards Defeasible Argumentation.
Volume 3, Number 4, August 1993
Volume 3, Number 5, October 1993
: Directly Sceptical Inheritance Cannot Capture the Intersection of Extensions.
: 2-Sequent Calculus: Intuitionism and Natural Deduction.
Volume 3, Number 6, December 1993
: Editorial: Logic in Abstract Interpretation.
: On the Correspondence between Modal and Classical Logic: An Automated Approach.
Steffen van Bakel
: Principal Type Schemes for the Strict Type Assignment System.
: Inhabitation in Intersection and Union Type Assignment Systems.