Volume 12, Number 1, January 2004
Volume 12, Number 2, March 2004
, Shalom Lappin
: An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.
Volume 12, Number 3, May 2004
Volume 12, Number 4, July 2004
C. F. M. Vermeulen
: Axiomatization of a Denotational Semantics for First-order Logic.
: Categorical Abstract Algebraic Logic: Categorical Algebraization of Equational Logic.
Volume 12, Number 5, September 2004
Jeff B. Paris
: Deriving Information from Inconsistent Knowledge Bases: A Completeness Theorem for etatriangel righteta.
: Routely-Meyer Semantics for some weak Boolean Logics, and some Translations.
Volume 12, Number 6, November 2004
: Notes on n x m-valued Lukasiewicz Algebras with Negation.
: Finite Diagonal-free Two-dimensional Cylindric Algebras.
: Contenability and the Logic of Consequential Implication.