| Publication | Date of Publication | Type |
|---|
Typed homomorphic relations extended with subtypes
Lecture Notes in Computer Science | 2023-08-16 | Paper |
A mathematical life
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | 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 |
scientific article; zbMATH DE number 5530828 (Why is no real title available?)
| 2009-03-22 | Paper |
Update to ``A survey of abstract algebraic logic
Studia Logica | 2009-03-17 | Paper |
Behavioural reasoning for conditional equations
Mathematical Structures in Computer Science | 2007-12-12 | Paper |
On the closure properties of the class of full G-models of a deductive system
Studia Logica | 2006-10-27 | Paper |
In memory of Willem Johannes Blok 1947-2003
Studia Logica | 2006-10-27 | Paper |
Fregean logics with the multiterm deduction theorem and their algebraization
Studia Logica | 2005-04-07 | Paper |
Fregean logics
Annals of Pure and Applied Logic | 2004-08-06 | Paper |
A survey of abstract algebraic logic
Studia Logica | 2004-02-15 | Paper |
A duality theory for bilattices
Algebra Universalis | 2003-04-23 | Paper |
Fully adequate Gentzen systems and the deduction theorem
Reports on Mathematical Logic | 2003-02-06 | Paper |
An annotated logic defined by a matrix
| 2002-02-19 | Paper |
A complete algebraic characterization of behavioral subtyping
Acta Informatica | 2000-05-09 | Paper |
scientific article; zbMATH DE number 1333616 (Why is no real title available?)
| 1999-09-19 | Paper |
scientific article; zbMATH DE number 1303723 (Why is no real title available?)
| 1999-06-17 | Paper |
scientific article; zbMATH DE number 1302498 (Why is no real title available?)
| 1999-06-16 | Paper |
scientific article; zbMATH DE number 1183249 (Why is no real title available?)
| 1999-04-08 | Paper |
The behavior-realization adjunction and generalized homomorphic relations
Theoretical Computer Science | 1998-07-23 | Paper |
scientific article; zbMATH DE number 1136648 (Why is no real title available?)
| 1998-05-13 | Paper |
Multi-valued logic programming semantics An algebraic approach
Theoretical Computer Science | 1997-02-28 | Paper |
Lambda abstraction algebras: representation theorems
Theoretical Computer Science | 1997-02-28 | Paper |
The abstract variable-binding calculus
Studia Logica | 1996-05-02 | Paper |
Gentzen-style axiomatizations in equational logic
Algebra Universalis | 1996-02-20 | Paper |
On the structure of varieties with equationally definable principal congruences. IV
Algebra Universalis | 1995-07-27 | Paper |
scientific article; zbMATH DE number 761276 (Why is no real title available?)
| 1995-07-03 | Paper |
On the structure of varieties with equationally definable principal congruences. III
Algebra Universalis | 1995-02-13 | Paper |
scientific article; zbMATH DE number 475185 (Why is no real title available?)
| 1994-01-13 | Paper |
scientific article; zbMATH DE number 139647 (Why is no real title available?)
| 1993-03-28 | Paper |
scientific article; zbMATH DE number 125211 (Why is no real title available?)
| 1993-02-21 | 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 |
scientific article; zbMATH DE number 67040 (Why is no real title available?)
| 1992-09-27 | Paper |
Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
SIAM Journal on Computing | 1992-06-25 | Paper |
Data types over multiple-valued logics
Theoretical Computer Science | 1990-01-01 | Paper |
Algebraizable logics
Memoirs of the American Mathematical Society | 1989-01-01 | Paper |
Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
| 1988-01-01 | Paper |
Alfred Tarski's work on general metamathematics
Journal of Symbolic Logic | 1988-01-01 | Paper |
A finite basis theorem for quasivarieties
Algebra Universalis | 1986-01-01 | Paper |
Protoalgebraic logics
Studia Logica | 1986-01-01 | Paper |
scientific article; zbMATH DE number 3912650 (Why is no real title available?)
| 1985-01-01 | Paper |
On the structure of varieties with equationally definable principal congruences. II
Algebra Universalis | 1984-01-01 | Paper |
On the structure of varieties with equationally definable principal congruences. I
Algebra Universalis | 1982-01-01 | Paper |
Finite groupoids without finite bases for their identities
Algebra Universalis | 1981-01-01 | Paper |
On the structure of equationally complete varieties. I
Colloquium Mathematicum | 1981-01-01 | Paper |
On the Structure of Equationally Complete Varieties. II
| 1981-01-01 | Paper |
Varieties with equationally definable principal congruences
Algebra Universalis | 1980-01-01 | Paper |
Minimal, locally-finite varieties that are not finitely axiomatizable
Algebra Universalis | 1979-01-01 | Paper |
Universal equational theories and varieties of algebras
Annals of Mathematical Logic | 1979-01-01 | Paper |
Base-undecidable properties of universal varieties
Algebra Universalis | 1976-01-01 | Paper |
scientific article; zbMATH DE number 3505280 (Why is no real title available?)
| 1976-01-01 | Paper |
The join of equational theories
Colloquium Mathematicum | 1974-01-01 | Paper |
Amalgamation, congruence-extension, and interpolation properties in algebras
Algebra Universalis | 1972-01-01 | Paper |
On some operations on classes of algebras
Algebra Universalis | 1972-01-01 | Paper |
