Volume 82, Number 1, February 2006
From the Editor. 3-5
: Cut Elimination inside a Deep Inference System for Classical Predicate Logic.
Volume 82, Number 2, March 2006
Josep Maria Font
: Beyond Rasiowa's Algebraic Approach to Non-classical Logics.
: Universes of Fuzzy Sets and Axiomatizations of Fuzzy Set Theory. Part I: Model-Based and Axiomatic Approaches.
: Definability and Interpolation in Non-Classical Logics.
Sven Ove Hansson
: Mild Contraction. Evaluating Loss of Information Due to Loss of Belief.
Volume 82, Number 3, April 2006
: Quantification over Sets of Possible Worlds in Branching-Time Semantics.