✦ LIBER ✦

An application of Rieger-Nishimura formulas to the intuitionistic modal logics

✍ Scribed by Dimiter Vakarelov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An extension of the Łukasiewicz logic to

✍ Herman Dishkant 📂 Article 📅 1978 🏛 Springer Netherlands 🌐 English ⚖ 342 KB

A reduction of classical propositional l

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

The completeness of intuitionistic logic

✍ Peter Schroeder-Heister 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 857 KB

Application of an approximate formula fo

✍ M. Tint; H. Myint 📂 Article 📅 1974 🏛 Elsevier Science 🌐 English ⚖ 136 KB

Approximation formula for polarization o

✍ Dmitry Shestopalov 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 179 KB

An enumeration formula for certain irred

✍ Harald Niederreiter 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 268 KB