✦ LIBER ✦

Transforming equality logic to propositional logic

✍ Scribed by Hans Zantema; Jan Friso Groote

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 660 KB
Volume: 86
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80661-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equational propositional logic

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

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

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

Logic of propositions

✍ J. Ridder 📂 Article 📅 1948 🏛 Springer Netherlands 🌐 English ⚖ 337 KB

Propositional logic of continuous transf

Propositional logic of continuous transformations in Cantor space

✍ Grigori Mints; Ting Zhang 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 194 KB