✦ LIBER ✦

A weak form of interpolation in equational logic

✍ Scribed by L. L. Maksimova

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On a weak form of equational compactness

✍ A. Laradji 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 179 KB

The logic of algebraic rules as a genera

✍ Tomasz Furmanowski 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 463 KB

Decidability of the weak interpolation p

✍ L. L. Maksimova 📂 Article 📅 2011 🏛 Springer US 🌐 English ⚖ 465 KB

A simple algebraic proof of the equation

✍ P. H. Rodenburg 📂 Article 📅 1991 🏛 Springer 🌐 English ⚖ 161 KB

Interpolation in loop-free logic

✍ Kenneth A. Bowen 📂 Article 📅 1980 🏛 Springer Netherlands 🌐 English ⚖ 799 KB

Weak interpolation in extensions of the

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