Marcelo Fiore ; Chung-Kil Hur - 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 logicsArticle

Authors: Marcelo Fiore ; Chung-Kil Hur

    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.

    Volume: Volume 7, Issue 3
    Published on: September 8, 2011
    Imported 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


    Consultation statistics

    This page has been seen 1838 times.
    This article's PDF has been downloaded 262 times.