A simple abstract semantics for equational theories

DOI10.1007/3-540-60249-6_45MaRDI QIDQ5055883zbMATH OpenOpenAlexFDO

Authors Gilles Barthe

Publication date 9 December 2022

Published in Fundamentals of Computation Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60249-6_45

Mathematics Subject Classification ID

Logic in computer science (03B70) Categorical logic, topoi (03G30) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4039263
• scientific article; zbMATH DE number 3949706
• scientific article; zbMATH DE number 3918620
• Unique-sort order-sorted theories : A description as monad morphisms
• scientific article; zbMATH DE number 176160

Cites work

• A simple abstract semantics for equational theories
• An Oxford survey of order sorted algebra
• Composita, Equations, and Freely Generated Algebras
• Computational aspects of an order-sorted logic with term declarations
• scientific article; zbMATH DE number 193170 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• Instantiation theory. On the foundations of automated deduction
• Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations

Cited in

(8)

• A note on equational theories
• An equational metalogic for monadic equational systems
• scientific article; zbMATH DE number 1487858 (Why is no real title available?)
• Theories with equational forking
• A simple abstract semantics for equational theories
• Just do it
• scientific article; zbMATH DE number 2202200 (Why is no real title available?)
• Automated Deduction – CADE-19

This page was built for publication: A simple abstract semantics for equational theories

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