On the mathematical synthesis of equational logics
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- July 2011
- DOI:
- 10.48550/arXiv.1107.3031
- arXiv:
- arXiv:1107.3031
- Bibcode:
- 2011arXiv1107.3031F
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Category Theory;
- Mathematics - Logic;
- D.3.1;
- F.3.1;
- F.3.2;
- F.4.1;
- I.2.3
- E-Print:
- Final version for publication in Logical Methods in Computer Science