✦ LIBER ✦

Craig Interpolation in the Presence of Unreliable Connectives

✍ Scribed by Rasga, João; Sernadas, Cristina; Sernadas, Amlcar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Craig Interpolation Theorem in abstr

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

Introduction: Interpolations—Essays in h

✍ Paolo Mancosu 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 100 KB

The Craig-Lyndon Interpolation Theorem i

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

The development of pragmatic connectives

✍ Craig, Holly K.; Gallagher, Tanya M. 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 553 KB

Gems of Theoretical Computer Science ||

✍ Schöning, Uwe; Pruim, Randall 📂 Article 📅 1998 🏛 Springer Berlin Heidelberg ⚖ 370 KB

Preservation of Craig interpolation by t

✍ Sernadas, C.; Rasga, J.; Sernadas, A. 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 379 KB