We provide a mathematical theory and methodology for synthesising equationallogics from algebraic metatheories. We illustrate our methodology by means oftwo applications: a rational reconstruction of Birkhoff's Equational Logic anda new equational logic for reasoning about algebraic structure withname-binding operators.Comment: Final version for publication in Logical Methods in Computer Scienc
1. A motivation for algebraic approaches to logics To realize the importance of the research work of...
: This paper is part of a long-term effort to increase expressiveness of algebraic specification lan...
This monograph introduces and explores the notions of a commutator equation and the equationally-def...
... been a major theme of Joseph Goguen’s research, perhaps even the major theme. One strand of this...
AbstractWe introduce an abstract general notion of system of equations between terms, called Term Eq...
An \em equational system\/ is a set of equations. Often we are interested in knowing if an equation ...
Abstract: This paper is part of a long-term effort to increase expressiveness of algebraic specifica...
Equational type logic is an extension of (conditional) equational logic, that enables one to deal in...
Equations are the most basic formulas of algebra, and the logical rules for manipulating them are so...
AbstractThis note discusses the results of the compilational approach of equational logic programmin...
We formalize equational propositional logic, prove that it is sound and complete, and compare the eq...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
We consider the following problem in proving equations in models of functional languages: given a ca...
We present two dierent formalizations of Equational Predicate Logic, that is, rst order logic that ...
This thesis proposes a general framework for equational logic programming, called category-based equ...
1. A motivation for algebraic approaches to logics To realize the importance of the research work of...
: This paper is part of a long-term effort to increase expressiveness of algebraic specification lan...
This monograph introduces and explores the notions of a commutator equation and the equationally-def...
... been a major theme of Joseph Goguen’s research, perhaps even the major theme. One strand of this...
AbstractWe introduce an abstract general notion of system of equations between terms, called Term Eq...
An \em equational system\/ is a set of equations. Often we are interested in knowing if an equation ...
Abstract: This paper is part of a long-term effort to increase expressiveness of algebraic specifica...
Equational type logic is an extension of (conditional) equational logic, that enables one to deal in...
Equations are the most basic formulas of algebra, and the logical rules for manipulating them are so...
AbstractThis note discusses the results of the compilational approach of equational logic programmin...
We formalize equational propositional logic, prove that it is sound and complete, and compare the eq...
We introduce algorithmic logic - an algebraic approach according to [25]. It is done in three stages...
We consider the following problem in proving equations in models of functional languages: given a ca...
We present two dierent formalizations of Equational Predicate Logic, that is, rst order logic that ...
This thesis proposes a general framework for equational logic programming, called category-based equ...
1. A motivation for algebraic approaches to logics To realize the importance of the research work of...
: This paper is part of a long-term effort to increase expressiveness of algebraic specification lan...
This monograph introduces and explores the notions of a commutator equation and the equationally-def...
DOI
Add to ORKG