𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fuzzy equational logic

✍ Scribed by Radim Bělohlávek

Publisher
Springer
Year
2002
Tongue
English
Weight
91 KB
Volume
41
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equational propositional logic
Equational propositional logic
✍ David Gries; Fred B. Schneider 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 561 KB
Reflection in Membership Equational Logi
Reflection in Membership Equational Logic, Many-Sorted Equational Logic, Horn Logic with Equality, and Rewriting Logic
✍ Manuel Clavel; José Meseguer; Miguel Palomino 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 254 KB

We show that the generalized variant of rewriting logic where the underlying equational specifications are membership equational theories, and where the rules are conditional and can have equations, memberships and rewrites in the conditions is reflective. We also show that membership equational log

Hybrid Identities and Hybrid Equational
Hybrid Identities and Hybrid Equational Logic
✍ Klaus Denecke 📂 Article 📅 1995 🏛 John Wiley and Sons 🌐 English ⚖ 363 KB

## Abstract Hybrid identities are sentences in a special second order language with identity. The model classes of sets of hybrid identities are called hybrid solid varieties. We give a Birkhoff‐type‐characterization of hybrid solid varieties and develop a hybrid equational logic.

Oriented Equational Logic Programming is
Oriented Equational Logic Programming is Complete
✍ CHRISTOPHER LYNCH 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 614 KB

We show the completeness of an extension of SLD-resolution to the equational setting. This proves a conjecture of Laurent Fribourg and shows the completeness of an implementation of his. It is the first completeness result for superposition of equational Horn clauses which reduces to SLD resolution