✦ LIBER ✦

On the Craig-Lyndon Interpolation Theorem

✍ Scribed by Arnold Oberschelp

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Craig-Lyndon Interpolation Theorem i

✍ R. R. Rockingham Gill 📂 Article 📅 1970 🏛 Association for Symbolic Logic 🌐 English ⚖ 829 KB

An Extension of the Craig-Lyndon Interpo

✍ Review by: M. A. Taitslin 📂 Article 📅 1965 🏛 Association for Symbolic Logic 🌐 English ⚖ 284 KB

The Craig Interpolation Theorem in abstr

✍ Jouko Väänänen 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 438 KB

An Institution-independent Proof of Crai

✍ Răzvan Diaconescu 📂 Article 📅 2004 🏛 Springer Netherlands 🌐 English ⚖ 957 KB

Harmonious logic: Craig’s interpolation

✍ Solomon Feferman 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 215 KB

An Extension of the Craig-Schütte Interp

✍ Review by: A. S. Troelstra 📂 Article 📅 1968 🏛 Association for Symbolic Logic 🌐 English ⚖ 325 KB