Fiore, Marcelo and Hur, Chung-Kil - On the mathematical synthesis of equational logics

lmcs:1071 - Logical Methods in Computer Science, September 8, 2011, Volume 7, Issue 3
On the mathematical synthesis of equational logics

Authors: Fiore, Marcelo and Hur, Chung-Kil

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.


Source : oai:arXiv.org:1107.3031
DOI : 10.2168/LMCS-7(3:12)2011
Volume: Volume 7, Issue 3
Published on: September 8, 2011
Submitted on: May 15, 2010
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


Share

Consultation statistics

This page has been seen 44 times.
This article's PDF has been downloaded 46 times.