A mathematical life

DOI10.1007/978-3-319-74772-9_1MaRDI QIDQ4586411zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3908388
• scientific article; zbMATH DE number 4095412
• scientific article; zbMATH DE number 4093401
• A Life in Mathematics Remembered
• So far, so good: My life up to now

Cites work

• A complete algebraic characterization of behavioral subtyping
• A duality theory for bilattices
• A finite basis theorem for quasivarieties
• A survey of abstract algebraic logic
• Abstract algebraic logic I. Papers presented at the workshop (AAL), July 1--5, 1997, Barcelona, Spain
• Alfred Tarski's work on general metamathematics
• Algebraic logic and universal algebra in computer science. Conference, Ames, Iowa, USA, June 1-4, 1988. Proceedings
• Algebraizable logics
• Amalgamation, congruence-extension, and interpolation properties in algebras
• Base-undecidable properties of universal varieties
• Behavioural reasoning for conditional equations
• Data types over multiple-valued logics
• Endomorphisms of direct unions of bounded lattices
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Finite Basis Theorems for Relatively Congruence-Distributive Quasivarieties
• Finite groupoids without finite bases for their identities
• Fregean logics
• Fregean logics with the multiterm deduction theorem and their algebraization
• Fully adequate Gentzen systems and the deduction theorem
• Gentzen-style axiomatizations in equational logic
• scientific article; zbMATH DE number 3857107 (Why is no real title available?)
• scientific article; zbMATH DE number 3912650 (Why is no real title available?)
• scientific article; zbMATH DE number 1183249 (Why is no real title available?)
• scientific article; zbMATH DE number 67022 (Why is no real title available?)
• scientific article; zbMATH DE number 67040 (Why is no real title available?)
• scientific article; zbMATH DE number 125211 (Why is no real title available?)
• scientific article; zbMATH DE number 139647 (Why is no real title available?)
• scientific article; zbMATH DE number 1302498 (Why is no real title available?)
• scientific article; zbMATH DE number 1303723 (Why is no real title available?)
• scientific article; zbMATH DE number 1333616 (Why is no real title available?)
• scientific article; zbMATH DE number 475185 (Why is no real title available?)
• scientific article; zbMATH DE number 761276 (Why is no real title available?)
• scientific article; zbMATH DE number 788030 (Why is no real title available?)
• Introduction to the special issue on algebraic logic
• Lambda abstraction algebras: representation theorems
• Minimal, locally-finite varieties that are not finitely axiomatizable
• Multi-valued logic programming semantics An algebraic approach
• On some operations on classes of algebras
• On the closure properties of the class of full G-models of a deductive system
• On the congruence extension property
• On the structure of equationally complete varieties. I
• On the Structure of Equationally Complete Varieties. II
• On the structure of varieties with equationally definable principal congruences. I
• On the structure of varieties with equationally definable principal congruences. II
• On the structure of varieties with equationally definable principal congruences. III
• On the structure of varieties with equationally definable principal congruences. IV
• The abstract variable-binding calculus
• The behavior-realization adjunction and generalized homomorphic relations
• The join of equational theories
• Typed homomorphic relations extended with subtypes
• Universal equational theories and varieties of algebras
• Unsolved problems on mathematics for the 21st century. A tribute to Kiyoshi Iséki's 80th birthday
• Update to ``A survey of abstract algebraic logic
• Varieties with equationally definable principal congruences

Cited in

(23)

• On being Rod's graduate student
• Cameo of a consummate computabilist
• scientific article; zbMATH DE number 2186305 (Why is no real title available?)
• scientific article; zbMATH DE number 4137732 (Why is no real title available?)
• scientific article; zbMATH DE number 5711312 (Why is no real title available?)
• Random Curves
• scientific article; zbMATH DE number 3908388 (Why is no real title available?)
• scientific article; zbMATH DE number 3957272 (Why is no real title available?)
• scientific article; zbMATH DE number 4093401 (Why is no real title available?)
• scientific article; zbMATH DE number 4095412 (Why is no real title available?)
• The Armenian connection: reminiscences from a time of interactions
• Curriculum vitae
• Living and working with Paulo A. S. Veloso
• scientific article; zbMATH DE number 7515289 (Why is no real title available?)
• A Life in Mathematics Remembered
• An old man's mathematical stories
• My Mathematical Universe
• Abstract algebraic logic. An introductory chapter
• The paths of nine mathematicians to the realm of dynamical systems
• Reflections
• Becoming a Data Scientist: An Impractical Guide
• Looking back -- my life as a mathematician and cryptographer
• To my partner, to Allen Shields

This page was built for publication: A mathematical life

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4586411)