✦ LIBER ✦

Interpolation in superintuitionistic predicate logics with equality

✍ Scribed by L. L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Predicate superintuitionistic logics wit

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

Interpolation property and superintuitio

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

Restricted interpolation property in sup

✍ L. L. Maksimova 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 338 KB

Kripke Sheaf Completeness of some Superi

✍ Dmitrij Skvortsov 📂 Article 📅 2012 🏛 Springer Netherlands 🌐 English ⚖ 298 KB

Set theory in predicate calculus with eq

✍ Bunder, M. W. 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 198 KB

An algebraic approach to intuitionistic

✍ Nobu-Yuki Suzuki 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 650 KB