On the mathematical synthesis of equational logics

Details On the mathematical synthesis of equational logics On the mathematical synthesis of equational logics

2011-07-15

arxiv.org/abs/1107.3031v3

LMCS 7 (3:12) 2011

Computer Science

Logic in Computer Science

Final version for publication in Logical Methods in Computer Science

Scientific paper

10.2168/LMCS-7(3:12)2011

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.

Affiliated with

Also associated with

No associations

Rating

On the mathematical synthesis of equational logics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On the mathematical synthesis of equational logics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the mathematical synthesis of equational logics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-226158