✦ LIBER ✦

Negative Equivalence of Extensions of Minimal Logic

✍ Scribed by Sergei P. Odintsov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Joint consistency in extensions of the m

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

Interpolation and Definability in Extens

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

A method of proving interpolation in par

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

Minimal extensions of minimal representa

✍ A. Kisielewicz 📂 Article 📅 1986 🏛 Springer 🌐 English ⚖ 420 KB

Extensions of the provability logic

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

Minimal extensions of Π01 classes

✍ Douglas Cenzer; Farzan Riazati 📂 Article 📅 2005 🏛 John Wiley and Sons 🌐 English ⚖ 185 KB