Volume 5, Number 1, January 1997
: Strong Representability of Fork Algebras, a Set Theoretic Foundation.
: Saturatedness in Cylindric Algebraic Model Theory.
: A Reduction of the Theory of Confirmation to the Notions of Distance and Measure.
: The Logic of Informational Independence and Finite Models.
: LWBtheory: Information about some Propositional Logics via the WWW.
Volume 5, Number 2, March 1997
: Multiplicative Conjunction as an Extensional Conjunction.
Volume 5, Number 3, May 1997
Volume 5, Number 4, July 1997
: Compositional Semantics for a Language of Imperfect Information.
Andrew M. Pitts
: A Note on Logical Relations Between Semantics and Syntax.
Volume 5, Number 5, September 1997
: Relational Proof System for Linear and Other Substructural Logics.
Volume 5, Number 6, November 1997
: Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.
: Review of D. M. Gabbay et al., Temporal Logic: Mathematical Foundations and Computational Aspects.