✦ LIBER ✦

Decidability of the weak interpolation property over the minimal logic

✍ Scribed by L. L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of the interpolation proble

✍ L. L. Maksimova 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 330 KB

Eigenvariables, bracketing and the decid

✍ Gilles Dowek; Ying Jiang 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 680 KB

Deciding the existence of uniform interp

✍ Giovanna D’Agostino; Giacomo Lenzi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 168 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

Interpolation properties in the extensio

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