✦ LIBER ✦

Intuitionistic hybrid logic

✍ Scribed by Torben Braüner; Valeria de Paiva

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Embedding Classical Logic in Intuitionis

✍ John Myhill 📂 Article 📅 1973 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

Intuitionist logic, a logic of justifica

✍ John T. Kearns 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 1004 KB

Knowability and intuitionistic logic

✍ David De Vidi; Graham Solomon 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 841 KB

Maximal weakly-intuitionistic logics

✍ A. M. Sette; Walter A. Carnielli 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 1017 KB

Sheffer Functions in Intuitionistic Logi

✍ G. Rousseau 📂 Article 📅 1968 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB

Model Theory for Intuitionistic Logic

✍ Dov M. Gabbay 📂 Article 📅 1972 🏛 John Wiley and Sons 🌐 English ⚖ 331 KB