✦ LIBER ✦

Craig interpolation for semilinear substructural logics

✍ Scribed by Marchioni, Enrico; Metcalfe, George

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The finite model property for semilinear

✍ Wang, San-Min 📂 Article 📅 2013 🏛 John Wiley and Sons 🌐 English ⚖ 112 KB

Kripke Semantics for Modal Substructural

✍ Norihiro Kamide 📂 Article 📅 2002 🏛 Springer Netherlands 🌐 English ⚖ 123 KB

Provability logic without Craig's interp

✍ L. D. Beklemishev 📂 Article 📅 1989 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 621 KB

Preservation of Craig interpolation by t

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

Harmonious logic: Craig’s interpolation

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

The Craig-Lyndon Interpolation Theorem i

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