Volume 55, Number 1, July 1995
Albert G. Dragálin
: Explicit algebraic models for constructive and classical theories with non-standard elements.
: Symmetrical Heyting algebras with a finite order type of operators.
: On variable separation in modal and superintuitionistic logics.
: A duality between Pawlak's knowledge representation systems and BI-consequence systems.
Volume 55, Number 2, September 1995
Volume 55, Number 3, November 1995
: Axiomatic extensions of the constructive logic with strong negation and the disjunction property.