Complete Categorical Deduction for Satisfaction as Injectivity

DOI10.1007/11780274_9zbMATH Open1132.03356OpenAlexW1521322552MaRDI QIDQ5757941FDOQ5757941

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• On quasi-equations in locally presentable categories. II: A logic
• A logic of implications in algebra and coalgebra
• Completeness of category-based equational deduction
• Title not available (Why is that?)

Uses Software

• ELAN
• OBJ3
• CafeOBJ
• Maude

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)