1999/46/1

On problems of databases over a fixed infinite universe

A theory of refinement structure of hedge algebras and its applications to fuzzy logic

Finite models and finitely many variables

On the existence of prime ideals in Boolean algebras

Decidability and structure

Beta-reduction as unification

Interrelation of algebraic, semantical and logical properties for superintuitionistic and modal logics

A constructive proof that every 3-generated l-group is ultrasimplicial

Strong normalization proofs for cut elimination in Gentzen's sequent calculi