| Publication | Date of Publication | Type |
|---|
| https://portal.mardi4nfdi.de/entity/Q2812986 | 2016-06-13 | Paper |
| ASSERTIONALLY EQUIVALENT QUASIVARIETIES | 2008-08-19 | Paper |
| The Beth property in algebraic logic | 2006-10-27 | Paper |
| Equivalence of consequence operations | 2006-10-27 | Paper |
| Algebras defined from ordered sets and the varieties they generate | 2006-09-14 | Paper |
| Constructing simple residuated lattices | 2006-01-17 | Paper |
| On the finite embeddability property for residuated ordered groupoids | 2005-07-26 | Paper |
| The finite embeddability property for residuated lattices, pocrims and BCK-algebras. | 2005-04-19 | Paper |
| Fragments of R-mingle | 2005-04-07 | Paper |
| Free Łukasiewicz and hoop residuation algebras | 2005-04-07 | Paper |
| Algebraic semantics for deductive systems | 2004-02-15 | Paper |
| On the structure of hoops | 2003-04-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4544373 | 2002-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752411 | 2002-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2752417 | 2002-03-25 | Paper |
| On congruence modularity in varieties of logic. | 2001-06-10 | Paper |
| On the congruence extension property | 2000-02-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249027 | 1999-11-08 | Paper |
| Varieties of commutative residuated integral pomonoids and their residuation subreducts | 1997-09-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273433 | 1996-07-17 | Paper |
| On the structure of varieties with equationally definable principal congruences. IV | 1995-07-27 | Paper |
| On the quasivariety of BCK-algebras and its subvarieties | 1995-02-22 | Paper |
| On the structure of varieties with equationally definable principal congruences. III | 1995-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3141489 | 1994-04-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029628 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4019366 | 1993-01-16 | Paper |
| Introduction to the special issue on algebraic logic | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011710 | 1992-09-27 | Paper |
| On interpretations of varieties with semilattice reduct | 1990-01-01 | Paper |
| Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices | 1989-01-01 | Paper |
| Algebraizable logics | 1989-01-01 | Paper |
| Positive Boolean dependencies | 1988-01-01 | Paper |
| Alfred Tarski's work on general metamathematics | 1988-01-01 | Paper |
| Free spectra of nilpotent varieties | 1987-01-01 | Paper |
| The Fraser-Horn and Apple Properties | 1987-01-01 | Paper |
| A finite basis theorem for quasivarieties | 1986-01-01 | Paper |
| On the lattice of quasivarieties of Sugihara algebras | 1986-01-01 | Paper |
| Protoalgebraic logics | 1986-01-01 | Paper |
| On the structure of varieties with equationally definable principal congruences. II | 1984-01-01 | Paper |
| Algebraic semantics for quasi-classical modal logics | 1983-01-01 | Paper |
| On the structure of varieties with equationally definable principal congruences. I | 1982-01-01 | Paper |
| Pretabular varieties of modal algebras | 1980-01-01 | Paper |
| The lattice of varieties of modal algebras is not strongly atomic | 1980-01-01 | Paper |
| The lattice of modal logics: an algebraic investigation | 1980-01-01 | Paper |
| An axiomatization of the modal theory of the veiled recession frame | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3208624 | 1978-01-01 | Paper |
| Transitivity follows from Dummett's axiom | 1978-01-01 | Paper |
| \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4156476 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4187793 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4198505 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4168952 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4120613 | 1974-01-01 | Paper |
