Volume 18, Number 1, February 2008
: Analytic Calculi for Logics of Ordinal Multiples of Standard t-Norms.
: A Presentation of Quantum Logic Based on an and then Connective.
: Vector Logic: A Natural Algebraic Representation of the Fundamental Logical Gates.
Volume 18, Number 2, April 2008
Lambda Calculus, Type Theory, and Natural Language II
J. Roger Hindley
: M. H. Newman's Typability Algorithm for Lambda-calculus.
Volume 18, Number 3, June 2008
Natural Language and Knowledge Representation
: Experience and History: Processes and their Relation to Events.
Volume 18, Number 4, August 2008
Vladimir V. Rybakov
: Multi-modal and Temporal Logics with Universal Formula - Reduction of Admissibility to Validity and Unification.
Dimitar P. Guelev
: A Syntactical Proof of the Canonical Reactivity Form for Past Linear Temporal Logic.
: On the Hierarchy of Intuitionistic Bounded Arithmetic.
Volume 18, Number 5, October 2008
Belief Revision in Rational Agents
: Three Scenarios for the Revision of Epistemic States.
Volume 18, Number 6, December 2008
: The Expansion Problem in Lambda Calculi with Explicit Substitution.