| Publication | Date of Publication | Type |
|---|
| Algebraizable logics. An exact reproduction of the text originally published in 1989 with an errata sheet prepared by the second author in 2014 | 2016-06-13 | Paper |
ASSERTIONALLY EQUIVALENT QUASIVARIETIES
International Journal of Algebra and Computation | 2008-08-19 | Paper |
Equivalence of consequence operations
Studia Logica | 2006-10-27 | Paper |
The Beth property in algebraic logic
Studia Logica | 2006-10-27 | Paper |
Algebras defined from ordered sets and the varieties they generate
Order | 2006-09-14 | Paper |
Constructing simple residuated lattices
Algebra Universalis | 2006-01-17 | Paper |
On the finite embeddability property for residuated ordered groupoids
Transactions of the American Mathematical Society | 2005-07-26 | Paper |
The finite embeddability property for residuated lattices, pocrims and BCK-algebras.
Algebra Universalis | 2005-04-19 | Paper |
Fragments of R-mingle
Studia Logica | 2005-04-07 | Paper |
Free Łukasiewicz and hoop residuation algebras
Studia Logica | 2005-04-07 | Paper |
Algebraic semantics for deductive systems
Studia Logica | 2004-02-15 | Paper |
On the structure of hoops
Algebra Universalis | 2003-04-23 | Paper |
| scientific article; zbMATH DE number 1775541 (Why is no real title available?) | 2002-08-04 | Paper |
Komori identities in algebraic logic
Reports on Mathematical Logic | 2002-05-21 | Paper |
On the finite embeddability property for residuated lattices, pocrims and BCK-algebras
Reports on Mathematical Logic | 2002-03-25 | Paper |
On congruence modularity in varieties of logic.
Algebra Universalis | 2001-06-10 | Paper |
On the congruence extension property
Algebra Universalis | 2000-02-27 | Paper |
| scientific article; zbMATH DE number 1302497 (Why is no real title available?) | 1999-11-08 | Paper |
Varieties of commutative residuated integral pomonoids and their residuation subreducts
Journal of Algebra | 1997-09-21 | Paper |
| scientific article; zbMATH DE number 475196 (Why is no real title available?) | 1996-07-17 | Paper |
On the structure of varieties with equationally definable principal congruences. IV
Algebra Universalis | 1995-07-27 | Paper |
On the quasivariety of BCK-algebras and its subvarieties
Algebra Universalis | 1995-02-22 | Paper |
On the structure of varieties with equationally definable principal congruences. III
Algebra Universalis | 1995-02-13 | Paper |
| scientific article; zbMATH DE number 438526 (Why is no real title available?) | 1994-04-19 | Paper |
| scientific article; zbMATH DE number 139647 (Why is no real title available?) | 1993-03-28 | Paper |
| scientific article; zbMATH DE number 93464 (Why is no real title available?) | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 67022 (Why is no real title available?) | 1992-09-27 | Paper |
Introduction to the special issue on algebraic logic
Studia Logica | 1992-09-27 | Paper |
On interpretations of varieties with semilattice reduct
Algebra Universalis | 1990-01-01 | Paper |
Algebraizable logics
Memoirs of the American Mathematical Society | 1989-01-01 | Paper |
Generalizations of Tarski's fixed point theorem for order varieties of complete meet semilattices
Order | 1989-01-01 | Paper |
Positive Boolean dependencies
Information Processing Letters | 1988-01-01 | Paper |
Alfred Tarski's work on general metamathematics
Journal of Symbolic Logic | 1988-01-01 | Paper |
Free spectra of nilpotent varieties
Algebra Universalis | 1987-01-01 | Paper |
| The Fraser-Horn and Apple Properties | 1987-01-01 | Paper |
On the lattice of quasivarieties of Sugihara algebras
Studia Logica | 1986-01-01 | Paper |
A finite basis theorem for quasivarieties
Algebra Universalis | 1986-01-01 | Paper |
Protoalgebraic logics
Studia Logica | 1986-01-01 | Paper |
On the structure of varieties with equationally definable principal congruences. II
Algebra Universalis | 1984-01-01 | Paper |
Algebraic semantics for quasi-classical modal logics
Journal of Symbolic Logic | 1983-01-01 | Paper |
On the structure of varieties with equationally definable principal congruences. I
Algebra Universalis | 1982-01-01 | Paper |
The lattice of modal logics: an algebraic investigation
Journal of Symbolic Logic | 1980-01-01 | Paper |
Pretabular varieties of modal algebras
Studia Logica | 1980-01-01 | Paper |
The lattice of varieties of modal algebras is not strongly atomic
Algebra Universalis | 1980-01-01 | Paper |
An axiomatization of the modal theory of the veiled recession frame
Studia Logica | 1979-01-01 | Paper |
Transitivity follows from Dummett's axiom
Theoria | 1978-01-01 | Paper |
| scientific article; zbMATH DE number 3650525 (Why is no real title available?) | 1978-01-01 | Paper |
\(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members
Algebra Universalis | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3639621 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3588718 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3625347 (Why is no real title available?) | 1977-01-01 | Paper |
| scientific article; zbMATH DE number 3601632 (Why is no real title available?) | 1975-01-01 | Paper |
| scientific article; zbMATH DE number 3545718 (Why is no real title available?) | 1974-01-01 | Paper |
