✦ LIBER ✦

An extension of the intuitionsitic propositional calculus

✍ Scribed by Kenneth A. Bowen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An Extension of the Équivalence Calculus

✍ Hugues Leblanc 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

On some non-classical extensions of seco

✍ Andrej Ščedrov 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 386 KB

An extension of the Deontic Calculus DSC

📂 Article 📅 1984 🏛 Springer Netherlands 🌐 English ⚖ 14 KB

An extension of the deontic calculus DSC

✍ Leon Gumański 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 694 KB

Complexity of subclasses of the intuitio

✍ G. Mints 📂 Article 📅 1992 🏛 Springer Netherlands 🌐 English ⚖ 341 KB

A Couple of Novelties in the Proposition

✍ C. A. R. Hóre 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 247 KB 👁 1 views