✦ LIBER ✦

The decidability of craig’s interpolation property in well-composed J-logics

✍ Scribed by L. L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpolation and the projective Beth pr

✍ L. L. Maksimova 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 907 KB

The projective Beth property in well-com

✍ L. L. Maksimova 📂 Article 📅 2013 🏛 Springer US 🌐 English ⚖ 850 KB

Decidability of the interpolation proble

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

A lower bound for the complexity of Crai

✍ Mundici, Daniele 📂 Article 📅 1983 🏛 Springer-Verlag ⚖ 532 KB

Pharmazeutical Preformulation: The Physi

✍ E. Graf 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 German ⚖ 152 KB

Estimating aquifer parameters from analy

📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 116 KB 👁 2 views