An introduction to category-based equational logic

DOI10.1007/3-540-60043-4_48zbMath1496.03130OpenAlexW1540355970MaRDI QIDQ5096381

Răzvan Diaconescu, Joseph A. Goguen

Publication date: 16 August 2022

Published in: Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-60043-4_48

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Logic programming (68N17) Equational classes, universal algebra in model theory (03C05)

Related Items (1)

Remarks on classifications and adjunctions

Cites Work

• 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
• A simple algebraic proof of the equational interpolation theorem
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations
• Foundations of equational logic programming
• Category-based modularisation for equational logic programming
• Quasiprimitive subcategories
• Computing with rewrite systems
• Graph expressions and graph rewritings
• Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
• Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity
• Axioms for abstract model theory
• Institutions: abstract model theory for specification and programming
• An Oxford survey of order sorted algebra
• Completeness of category-based equational deduction
• Identities in Categories

This page was built for publication: An introduction to category-based equational logic