✦ LIBER ✦

Automated theorem proving for non-classical logics

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated theorem proving by resolution

✍ Viorica Sofronie-Stokkermans 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 600 KB

Automated theorem proving for Łukasiewic

✍ Gordon Beavers 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 650 KB

Combining and automating classical and n

✍ Christoph Benzmüller 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 502 KB

On AGM for Non-Classical Logics

✍ Renata Wassermann 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 407 KB

First-Order Logic and Automated Theorem

✍ G.-C. Rota 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 41 KB

A parallel approach for theorem proving

✍ Chen Wen-Tsuen; Liu Lung-Lung 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 948 KB