✦ LIBER ✦

The Basic Intuitionistic Logic of Proofs

✍ Scribed by Sergei Artemov and Rosalie Iemhoff

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Intuitionistic Hypothetical Logic of Pro

✍ Steren, Gabriela; Bonelli, Eduardo 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 290 KB

Uniqueness of Normal Proofs in Implicati

✍ Takahito Aoto 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 121 KB

Interpolation property for extensions of

✍ I. G. Simonova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 573 KB

A Translation of Intuitionistic Predicat

✍ Mohammad Ardeshir 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 313 KB

A proof-search procedure for intuitionis

✍ Alonderis, R. 📂 Article 📅 2013 🏛 Springer 🌐 English ⚖ 255 KB

A proof-theoretical investigation of glo

✍ Agata Ciabattoni 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 247 KB