Complete categorical equational deduction

DOI10.1007/3-540-44802-0_37MaRDI QIDQ4783329zbMATH OpenFDO

Authors Grigore Roşu

Publication date 4 December 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2142/21420528

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(10)

• A logic of implications in algebra and coalgebra
• Some co-Birkhoff type theorems
• On quasi-equations in locally presentable categories. II: A logic
• scientific article; zbMATH DE number 4085643 (Why is no real title available?)
• scientific article; zbMATH DE number 1274721 (Why is no real title available?)
• Completeness of category-based equational deduction
• An introduction to category-based equational logic
• Complete Categorical Deduction for Satisfaction as Injectivity
• The orthogonal subcategory problem and the small object argument
• Conditional equational theories and complete sets of transformations

Describes a project that uses

Uses Software

• Maude
• OBJ3
• CafeOBJ

This page was built for publication: Complete categorical equational deduction

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