A Mathematical Life

DOI10.1007/978-3-319-74772-9_1zbMath1396.03003OpenAlexW2792818050MaRDI QIDQ4586411

Don Pigozzi

Publication date: 13 September 2018

Published in: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-74772-9_1

Mathematics Subject Classification ID

Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)

Related Items

Abstract algebraic logic. An introductory chapter

Cites Work

• Fregean logics
• Multi-valued logic programming semantics An algebraic approach
• Lambda abstraction algebras: representation theorems
• Data types over multiple-valued logics
• On some operations on classes of algebras
• On the structure of varieties with equationally definable principal congruences. II
• Update to ``A survey of abstract algebraic logic
• A finite basis theorem for quasivarieties
• Minimal, locally-finite varieties that are not finitely axiomatizable
• Endomorphisms of direct unions of bounded lattices
• Varieties with equationally definable principal congruences
• Finite groupoids without finite bases for their identities
• Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings
• Introduction to the special issue on algebraic logic
• Base-undecidable properties of universal varieties
• On the structure of varieties with equationally definable principal congruences. IV
• On the structure of varieties with equationally definable principal congruences. III
• The behavior-realization adjunction and generalized homomorphic relations
• A survey of abstract algebraic logic
• Abstract algebraic logic I. Papers presented at the workshop (AAL), July 1--5, 1997, Barcelona, Spain
• Fregean logics with the multiterm deduction theorem and their algebraization
• On the structure of varieties with equationally definable principal congruences. I
• A duality theory for bilattices
• The abstract variable-binding calculus
• Gentzen-style axiomatizations in equational logic
• A complete algebraic characterization of behavioral subtyping
• On the closure properties of the class of full G-models of a deductive system
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Alfred Tarski's work on general metamathematics
• Algebraizable logics
• Universal equational theories and varieties of algebras
• On the structure of equationally complete varieties. I
• On the Structure of Equationally Complete Varieties. II
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• The join of equational theories
• Behavioural reasoning for conditional equations
• On the congruence extension property
• Typed homomorphic relations extended with subtypes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item