✦ LIBER ✦

A Łukasiewicz-style refutation system for the modal logic S4

✍ Scribed by Tomasz Skura

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A criterion for admissibility of rules i

✍ V. V. Rybakov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 975 KB

The decidability of admissibility proble

✍ S. V. Babenyshev 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 834 KB

A Class of Extensions of the Modal Syste

✍ R. A. Bull 📂 Article 📅 1965 🏛 John Wiley and Sons 🌐 English ⚖ 282 KB 👁 1 views

The Strong Completeness of a System for

✍ John T. Kearns 📂 Article 📅 1979 🏛 John Wiley and Sons 🌐 English ⚖ 440 KB 👁 1 views

Application of conduction calorimetry fo

✍ E. Smrčková; M. T. Palou; V. Tomková 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 388 KB

The brain angiotensin IV/AT4 receptor sy

✍ John W. Wright; Joseph W. Harding 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 135 KB 👁 2 views