✦ LIBER ✦

Equational propositional logic

✍ Scribed by David Gries; Fred B. Schneider

Publisher: Elsevier Science
Year: 1995
Tongue: English
Weight: 561 KB
Volume: 53
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(94)00198-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Fuzzy equational logic

✍ Radim Bělohlávek 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 91 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

Aristotle's propositional logic

✍ B. H. Slater 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 593 KB

I want, in this paper, to expound 'the implication fragment' of a new propositional logic -a logic akin to the currently accepted one, but, unlike it in certain fundamental respects. There are certain questionable theses in current propositional logic -for instance 'P . F D Q' and 'P D (P D Q)' -and

Transforming equality logic to propositi

Transforming equality logic to propositional logic

✍ Hans Zantema; Jan Friso Groote 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 660 KB

A Bounded Translation of Intuitionistic

A Bounded Translation of Intuitionistic Propositional Logic into Basic Propositional Logic

✍ Mojtaba Aghaei; Mohammad Ardeshir 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

Fuzzy propositional logics

✍ Siegfried Gottwald 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 529 KB 👁 1 views