✦ LIBER ✦

Interpolation and Definability in Extensions of the Minimal Logic

✍ Scribed by L. L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A method of proving interpolation in par

✍ L. L. Maksimova 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 213 KB

Definability theorems in normal extensio

✍ Larisa L. Maksimova 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 546 KB

Interpolation and definability in abstra

✍ Finn V. Jensen 📂 Article 📅 1974 🏛 Springer Netherlands 🌐 English ⚖ 277 KB

Joint consistency in extensions of the m

✍ L. L. Maksimova 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 190 KB

Definability and Interpolation in Non-Cl

✍ Larisa Maksimova 📂 Article 📅 2006 🏛 Springer Netherlands 🌐 English ⚖ 245 KB

Interpolation properties in the extensio

✍ A. V. Karpenko 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 231 KB