✦ LIBER ✦

Existential rigidity and many modalities in order-sorted logic

✍ Scribed by Ken Kaneiwa

Publisher: Elsevier Science
Year: 2011
Tongue: English
Weight: 702 KB
Volume: 24
Category: Article
ISSN: 0950-7051
DOI: 10.1016/j.knosys.2011.02.001

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

Distributed reasoning with ontologies an

Distributed reasoning with ontologies and rules in order-sorted logic programming

✍ Ken Kaneiwa; Riichiro Mizoguchi 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 832 KB