✦ LIBER ✦

Algebraic semantics for superintuitionistic predicate logics

✍ Scribed by D. E. Tishkovskii

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algebraic Counterparts for Some Properti

✍ D.E. Tishkovskii 📂 Article 📅 2001 🏛 Springer US 🌐 English ⚖ 283 KB

Predicate superintuitionistic logics wit

✍ P. A. Shreiner 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 467 KB

Algebraic Kripke Sheaf Semantics for Non

✍ Nobu-Yuki Suzuki 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 922 KB

Interpolation property and superintuitio

✍ D. E. Tishkovsky 📂 Article 📅 1998 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 552 KB

Interpolation in superintuitionistic pre

✍ L. L. Maksimova 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 662 KB

Comparison of the topological and relati

✍ A. Yu. Muravitskii 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 941 KB