✦ LIBER ✦

Interpolation properties of superintuitionistic logics

✍ Scribed by Larisa L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Disjunctive property of superintuitionis

✍ M. V. Zakhar'yashchev 📂 Article 📅 1987 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 433 KB

Finite approximability of forest superin

✍ Ya. M. Drugush 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 539 KB

Two sequences of locally tabular superin

✍ S. I. Mardaev 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 453 KB

Finite axiomatizability of locally tabul

✍ A. I. Tsitkin 📂 Article 📅 1986 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 310 KB

A result on the completeness of superint

✍ A. Yu. Muravitskii 📂 Article 📅 1984 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 598 KB

Interpolation property for extensions of

✍ I. G. Simonova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 573 KB