✦ LIBER ✦

Logical Connectives for Intuitionistic Propositional Logic

✍ Scribed by Dean P. McCullough

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logical Connectives for Intuitionistic P

✍ Review by: Melvin Fitting 📂 Article 📅 1973 🏛 Association for Symbolic Logic 🌐 English ⚖ 115 KB

Intuitionistic propositional logic with

✍ Dzik, W.; Jarvinen, J.; Kondo, M. 📂 Article 📅 2009 🏛 Oxford University Press 🌐 English ⚖ 234 KB

A Bounded Translation of Intuitionistic

✍ Mojtaba Aghaei; Mohammad Ardeshir 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 175 KB

Absolute Probability Functions for Intui

✍ Peter Roeper; Hugues Leblanc 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 77 KB

Functional completeness for subsystems o

✍ Heinrich Wansing 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 692 KB

Bounds for cut elimination in intuitioni

✍ Jörg Hudelmaier 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 979 KB