✦ LIBER ✦

Joint consistency in 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

Negative Equivalence of Extensions of Mi

✍ Sergei P. Odintsov 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 317 KB

A method of proving interpolation in par

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

Extensions of the provability logic

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

Absence of the interpolation property in

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

Geometry of Robinson consistency in Łuka

✍ Manuela Busaniche; Daniele Mundici 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 472 KB