3624 search results - page 32 / 725 » Abstract Algebraic Logic |
ENTCS
2006
15 years 1 months ago
2006
act way to define rewriting logic Marc Aiguier a,1 , Diane Bahrami b , Delphine Longuet a a Universit
FSTTCS
1993
Springer
15 years 6 months ago
1993
Springer
Abstract. We provide a complete system of transformation rules for semantic unification with respect to theories defined by convergent rewrite systems. We show that this standard u...
ENTCS
2007
15 years 1 months ago
2007
JSYML
2007
15 years 1 months ago
2007
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
110
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Local computation in join trees or acyclic hypertrees has been shown to be linked to a particular algebraic structure, called valuation algebra. There are many models of this alge...