On the mathematical synthesis of equational logics
Logic in Computer Science
2015-07-01 v3 Category Theory
Logic
Abstract
We provide a mathematical theory and methodology for synthesising equational logics from algebraic metatheories. We illustrate our methodology by means of two applications: a rational reconstruction of Birkhoff's Equational Logic and a new equational logic for reasoning about algebraic structure with name-binding operators.
Keywords
Cite
@article{arxiv.1107.3031,
title = {On the mathematical synthesis of equational logics},
author = {Marcelo Fiore and Chung-Kil Hur},
journal= {arXiv preprint arXiv:1107.3031},
year = {2015}
}
Comments
Final version for publication in Logical Methods in Computer Science