| Publication | Date of Publication | Type |
|---|
| Typed homomorphic relations extended with subtypes | 2023-08-16 | Paper |
| A Mathematical Life | 2018-09-13 | Paper |
| 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 |
| https://portal.mardi4nfdi.de/entity/Q3617284 | 2009-03-22 | Paper |
| Update to ``A survey of abstract algebraic logic | 2009-03-17 | Paper |
| Behavioural reasoning for conditional equations | 2007-12-12 | Paper |
| On the closure properties of the class of full G-models of a deductive system | 2006-10-27 | Paper |
| In memory of Willem Johannes Blok 1947-2003 | 2006-10-27 | Paper |
| Fregean logics with the multiterm deduction theorem and their algebraization | 2005-04-07 | Paper |
| Fregean logics | 2004-08-06 | Paper |
| A survey of abstract algebraic logic | 2004-02-15 | Paper |
| A duality theory for bilattices | 2003-04-23 | Paper |
| Fully adequate Gentzen systems and the deduction theorem | 2003-02-06 | Paper |
| An annotated logic defined by a matrix | 2002-02-19 | Paper |
| A complete algebraic characterization of behavioral subtyping | 2000-05-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260390 | 1999-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4250358 | 1999-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249028 | 1999-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3837997 | 1999-04-08 | Paper |
| The behavior-realization adjunction and generalized homomorphic relations | 1998-07-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381706 | 1998-05-13 | Paper |
| Multi-valued logic programming semantics An algebraic approach | 1997-02-28 | Paper |
| Lambda abstraction algebras: representation theorems | 1997-02-28 | Paper |
| The abstract variable-binding calculus | 1996-05-02 | Paper |
| Gentzen-style axiomatizations in equational logic | 1996-02-20 | Paper |
| On the structure of varieties with equationally definable principal congruences. IV | 1995-07-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4835611 | 1995-07-03 | Paper |
| On the structure of varieties with equationally definable principal congruences. III | 1995-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273422 | 1994-01-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029628 | 1993-03-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4026904 | 1993-02-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011710 | 1992-09-27 | Paper |
| Introduction to the special issue on algebraic logic | 1992-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4011728 | 1992-09-27 | Paper |
| Equality-Test and If-Then-Else Algebras: Axiomatization and Specification | 1992-06-25 | Paper |
| Data types over multiple-valued logics | 1990-01-01 | Paper |
| Algebraizable logics | 1989-01-01 | Paper |
| Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties | 1988-01-01 | Paper |
| Alfred Tarski's work on general metamathematics | 1988-01-01 | Paper |
| A finite basis theorem for quasivarieties | 1986-01-01 | Paper |
| Protoalgebraic logics | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3689388 | 1985-01-01 | Paper |
| On the structure of varieties with equationally definable principal congruences. II | 1984-01-01 | Paper |
| On the structure of varieties with equationally definable principal congruences. I | 1982-01-01 | Paper |
| Finite groupoids without finite bases for their identities | 1981-01-01 | Paper |
| On the structure of equationally complete varieties. I | 1981-01-01 | Paper |
| On the Structure of Equationally Complete Varieties. II | 1981-01-01 | Paper |
| Varieties with equationally definable principal congruences | 1980-01-01 | Paper |
| Minimal, locally-finite varieties that are not finitely axiomatizable | 1979-01-01 | Paper |
| Universal equational theories and varieties of algebras | 1979-01-01 | Paper |
| Base-undecidable properties of universal varieties | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4085960 | 1976-01-01 | Paper |
| The join of equational theories | 1974-01-01 | Paper |
| Amalgamation, congruence-extension, and interpolation properties in algebras | 1972-01-01 | Paper |
| On some operations on classes of algebras | 1972-01-01 | Paper |
