Volume 10, Number 1, 2000
: Structure of left-continuous triangular norms with strong induced negations.
Volume 10, Number 2, 2000
Volume 10, Number 3-4, 2000
: Temporal logics with reference pointers and computation tree logics.
: On representability of neatly embeddable cylindric algebras.
: HL2, an Inconsistency-adaptive and Inconsistency-resolving Logic for General Statements that might have Exceptions.