𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic

✍ Scribed by Manuel Clavel; José Meseguer; Miguel Palomino

Book ID
108281273
Publisher
Elsevier Science
Year
2007
Tongue
English
Weight
469 KB
Volume
373
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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