Complete Categorical Deduction for Satisfaction as Injectivity

DOI10.1007/11780274_9MaRDI QIDQ5757941zbMATH OpenOpenAlexFDO

Authors Grigore Roşu

Publication date 7 September 2007

Published in Algebra, Meaning, and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11780274_9

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Categorical logic, topoi (03G30) Categories of algebras (08C05)

Recommendations

• scientific article; zbMATH DE number 1841841
• Completeness of category-based equational deduction
• On quasi-equations in locally presentable categories. II: A logic
• scientific article; zbMATH DE number 4085643
• An introduction to category-based equational logic

Cited in

(4)

• scientific article; zbMATH DE number 1841841 (Why is no real title available?)
• On quasi-equations in locally presentable categories. II: A logic
• A logic of implications in algebra and coalgebra
• Completeness of category-based equational deduction

Describes a project that uses

Uses Software

• Maude
• CafeOBJ
• OBJ3
• ELAN

This page was built for publication: Complete Categorical Deduction for Satisfaction as Injectivity

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