✦ LIBER ✦

On the simple substitution property for superintuitionistic and modal propositional logics

✍ Scribed by V. I. Khomich

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The simple substitution property of the

✍ Katsumi Sasaki 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 857 KB

The decidability of admissibility proble

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

On the Finite Model Property of Intuitio

✍ Takahito Aoto; Hiroyuki Shirasu 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 816 KB

The Method of Socratic Proofs for Modal

✍ Dorota Leszczyńska-Jasion 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 489 KB

On decidable, finitely axiomatizable, mo

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 586 KB

On decidable, finitely axiomatizable, mo

✍ Dov M. Gabbay 📂 Article 📅 1971 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 267 KB