Completeness of category-based equational deduction

DOI10.1017/S0960129500000621MaRDI QIDQ4847310zbMATH OpenFDO

Authors Răzvan Diaconescu

Publication date 20 September 1995

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129500000621

zbMATH Keywords

completeness theoremequational logic

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Equational logic, Mal'tsev conditions (08B05) Categories of algebras (08C05) Theories (e.g., algebraic theories), structure, and semantics (18C10) Equational categories (18C05)

Recommendations

• scientific article; zbMATH DE number 1841841
• On quasi-equations in locally presentable categories. II: A logic
• Complete Categorical Deduction for Satisfaction as Injectivity
• An introduction to category-based equational logic
• scientific article; zbMATH DE number 2174737

Cites work

• A treatise on universal algebra. With applications
• Identities in Categories
• Initial Algebra Semantics and Continuous Algebras
• Institutions: abstract model theory for specification and programming
• Semantics of computation

Cited in

(11)

• scientific article; zbMATH DE number 1841841 (Why is no real title available?)
• Herbrand theorems in arbitrary institutions
• An introduction to category-based equational logic
• Category-based modularisation for equational logic programming
• Categoricity and generalized model completeness
• Completeness theorem for the Evans logic of identities
• Logical foundations of CafeOBJ
• On quasi-equations in locally presentable categories. II: A logic
• A new foundation of a complete Boolean equational logic
• scientific article; zbMATH DE number 2185676 (Why is no real title available?)
• Complete Categorical Deduction for Satisfaction as Injectivity

This page was built for publication: Completeness of category-based equational deduction

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