✦ LIBER ✦

Doing logic by computer: interpolation in fragments of intuitionistic propositional logic

✍ Scribed by Lex Hendriks

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A reduction of classical propositional l

✍ Kosta Došen 📂 Article 📅 1981 🏛 Springer Netherlands 🌐 English ⚖ 360 KB

Characterising nested database dependenc

✍ Sven Hartmann; Sebastian Link 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 482 KB

The Expressive Force of Some Fragments o

✍ P. H. Rodenburg 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 323 KB 👁 1 views

Cardinalities of proper ideals in some l

✍ Wiesław Dziobiak 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 402 KB

The computational complexity of satisfia

✍ Cheng-Chia Chen; I-Peng Lin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Logical design of digital computers: by

✍ Laurence C. McGinn 📂 Article 📅 1958 🏛 Elsevier Science 🌐 English ⚖ 74 KB