✦ LIBER ✦

Comments on "Equational Logic

✍ Scribed by Cerny, E.

Book ID: 114605928
Publisher: IEEE
Year: 1976
Tongue: English
Weight: 415 KB
Volume: C-25
Category: Article
ISSN: 0018-9340
DOI: 10.1109/tc.1976.5009215

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equational Coalgebraic Logic

✍ Alexander Kurz; Raul Leal 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 480 KB

Fuzzy equational logic

✍ Radim Bělohlávek 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 91 KB

Equational propositional logic

✍ David Gries; Fred B. Schneider 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 561 KB

Comments on “logic programming with equa

Comments on “logic programming with equations”

✍ Pier Giorgio Bosco; Elio Giovannetti; Corrado Moiso; Catuscia Palamidessi 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 343 KB

This note discusses the results of the compilational approach of equational logic programming developed by Van Emden and Yukawa, and compares them with similar results obtained by Bosco et al. and by Fribourg. We show that Van Emden and Yukawa's completeness result contains an inaccuracy, and we sug

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 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 469 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