Don Pigozzi

Available identifiers

zbMath Open pigozzi.don-lWikidataQ93435666 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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Don Pigozzi