Volume 37, Number 1, Winter 1996
: Multi-Dimensional Semantics for Modal Logics.
: Strong Normalization and Typability with Intersection Types.
: Free Algebras Corresponding to Multiplicative Classical Linear Logic and Some of Its Extensions.
Volume 37, Number 2, Spring 1996
: Algebra and Theory of Order-Deterministic Pomsets.
Volume 37, Number 3, Summer 1996
Kai F. Wehmeier
: Classical and Intuitionistic Models of Arithmetic.
Max A. Freund
: Semantics for Two Second-Order Logical Systems: =RRC* and Cocchiarella's RRC*.
Volume 37, Number 4, Fall 1996
: A Basic System of Congruential-to-Monotone Bimodal Logic and Two of its Extensions.
Oleg V. Belegradek
: Higman's Embedding Theorem in a General Setting and Its Application to Existentially Closed Algebras.
: Field on the Notion of Consistency.