✦ LIBER ✦

Defining Standard Prolog in Rewriting Logic

✍ Scribed by M. Kulaš; C. Beierle

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 170 KB
Volume: 36
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80121-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Tiling Transactions in Rewriting Logic

✍ Roberto Bruni; José Meseguer; Ugo Montanari 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 313 KB

Reflection in General Logics, Rewriting

Reflection in General Logics, Rewriting Logic, and Maude

✍ Manuel Clavel 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 604 KB

Discrete Event Systems in Rewriting Logi

Discrete Event Systems in Rewriting Logic

✍ Christopher Landauer 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 550 KB

In this note, we report on some work in progress on using rewriting logics for discrete event simulation. The idea is to combine the proofs in the logic with the observations in the simulations to gain a better understanding of the interaction intricacies that seem to occur in complex simulations. I

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

Universal First-Order Definability in Mo

Universal First-Order Definability in Modal Logic

✍ R. E. Jennings; D. K. Johnston; P. K. Schotch 📂 Article 📅 1980 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

UPiIVERSAL FIRST-ORDER DEFINABILITY I N MODAL LOGIC by R. E. JENNIXGS and D. K. JOHNSTON in Burnaby, British Columbia (Canada) and P. K. SCHOTCH in Halifax, Nova Scotia (Canada)l) In [ l ] R. I. GOLDBLATT presents a model theoretic characterization of the class of modal sentences determined by firs

Which truth values in fuzzy logics are d

Which truth values in fuzzy logics are definable?

✍ Hung T. Nguyen; Vladik Kreinovich; Antonio Di Nola 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 89 KB

In fuzzy logic, every word or phrase describing uncertainty is represented by a real number from the interval [0, 1]. There are only denumerable many words and phrases and continuum many real numbers; thus, not every real number corresponds to some common sense degree of uncertainty. In this article