Don Pigozzi

Available identifiers

zbMath Open pigozzi.don-lDBLP22/7040WikidataQ93435666 ScholiaQ93435666MaRDI QIDQ673382

List of research outcomes

Publication	Date of Publication	Type
Typed homomorphic relations extended with subtypes	2023-08-16	Paper
A Mathematical Life	2018-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q2812986	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
In memory of Willem Johannes Blok 1947-2003	2006-10-27	Paper
On the closure properties of the class of full G-models of a deductive system	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
https://portal.mardi4nfdi.de/entity/Q2772907	2003-02-06	Paper
https://portal.mardi4nfdi.de/entity/Q2772759	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
Introduction to the special issue on algebraic logic	1992-09-27	Paper
https://portal.mardi4nfdi.de/entity/Q4011710	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
On some operations on classes of algebras	1972-01-01	Paper
Amalgamation, congruence-extension, and interpolation properties in algebras	1972-01-01	Paper

Research outcomes over time

This page was built for person: Don Pigozzi