✦ LIBER ✦

A method of proving interpolation in paraconsistent extensions of the minimal logic

✍ Scribed by L. L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpolation and Definability in Extens

✍ L. L. Maksimova 📂 Article 📅 2005 🏛 Springer US 🌐 English ⚖ 232 KB

Joint consistency in extensions of the m

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

Interpolation properties in the extensio

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

Absence of the interpolation property in

✍ L. L. Maksimova 📂 Article 📅 1982 🏛 Springer US 🌐 English ⚖ 301 KB

Weak interpolation in extensions of the

✍ A. V. Karpenko 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 504 KB

Radiative corrections in a minimal exten

✍ J.J. van der Bij 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 394 KB