✦ LIBER ✦

A Framework for Automated Reasoning in Multiple-Valued Logics

✍ Scribed by James J. Lu; Neil V. Murray; Erik Rosenthal

Book ID: 110229195
Publisher: Springer Netherlands
Year: 1998
Tongue: English
Weight: 308 KB
Volume: 21
Category: Article
ISSN: 0168-7433
DOI: 10.1023/a:1005784309139

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A logical framework for default reasonin

A logical framework for default reasoning

✍ David Poole 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 943 KB

A Few More Useful 8-valued Logics for Re

A Few More Useful 8-valued Logics for Reasoning with TetralatticeEIGHT4

✍ Dmitry Zaitsev 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 255 KB

A framework for default logic with case

A framework for default logic with case reasoning

✍ Mingyi Zhang; Dan Zhang 📂 Article 📅 1998 🏛 SP Science China Press 🌐 English ⚖ 575 KB

Informational Logic as a Tool for Automa

Informational Logic as a Tool for Automated Reasoning

✍ Paola Forcheri; Paolo Gentilini; Maria Teresa Molfino 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 404 KB

A two-valued logic for reasoning about d

A two-valued logic for reasoning about different types of consequence in Kleene's three-valued logic

✍ Beata Konikowska 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 807 KB

A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by "consequence" operators. These operators correspond to the three "sensible" t

Multi-Dimensional Modal Logic as a Frame

Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning

✍ Brandon Bennett; Anthony G. Cohn; Frank Wolter; Michael Zakharyaschev 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 146 KB