A Mathematical Life
From MaRDI portal
Publication:4586411
DOI10.1007/978-3-319-74772-9_1zbMath1396.03003OpenAlexW2792818050MaRDI QIDQ4586411
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
Biographies, obituaries, personalia, bibliographies (01A70) History of mathematical logic and foundations (03-03)
Related Items
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