1993/28/1

From two- to four-valued logic

On the Leibniz congruences

Normal forms in partial modal logic

Polyadic algebras over nonclassical logics

Compactness and Löwenheim-Skolem properties in categories of pre-institutions

What the finitization problem is not

On connections between information systems, rough sets and algebraic logic

Generalized pascal triangles: overview of new results

Rough membership functions: a tool for reasoning with uncertainty

On the detection of some periodic loops during the execution of Prolog programs

Relational specifications

On algebras of relations

Finitary axiomatizations of the true relational equations

Strong completeness of the Lambek Calculus with respect to Relational Semantics

Hoops and their implicational reducts (abstract)

A note on cylindric lattices

Discriminator varieties of Boolean algebras with residuated operators

Lectures on cylindric set algebras

Natural dualities for varieties of distributive lattices with a quantifier

Weak products of universal algebras

Comtrans algebras and their physical applications

Complete description of substitutions in cylindric algebras and other algebraic logics