✦ LIBER ✦

Satisfiability in many-valued sentential logic is NP-complete

✍ Scribed by Daniele Mundici

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

First-order satisfiability in Gödel logi

✍ Matthias Baaz; Agata Ciabattoni; Norbert Preining 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 328 KB

Functional Completeness and Canonical Fo

✍ William H. Jobe 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 391 KB

Satisfiability problem for modal logic w

✍ Zawidzki, Michał; Schmidt, Renate A.; Tishkovsky, Dmitry 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 216 KB

On Propositions Neither Necessary nor Im

✍ Review by: A. R. Turquette 📂 Article 📅 1955 🏛 Association for Symbolic Logic 🌐 English ⚖ 308 KB

A Simple Proof of Functional Completenes

✍ Review by: Arto Salomaa 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 233 KB

MAGNA CARTAThe Great CharterPreamble

📂 Fiction 🌐 English ⚖ 11 KB 👁 18 views