An introduction to category-based equational logic
From MaRDI portal
Publication:5096381
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
Logic in computer science (03B70) Categorical logic, topoi (03G30) Logic programming (68N17) Equational classes, universal algebra in model theory (03C05)
Related Items (1)
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