✦ LIBER ✦

Preservation of Craig interpolation by the product of matrix logics

✍ Scribed by Sernadas, C.; Rasga, J.; Sernadas, A.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The decidability of craig’s interpolatio

✍ L. L. Maksimova 📂 Article 📅 2012 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 198 KB

A lower bound for the complexity of Crai

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

An Extension of the Craig-Schütte Interp

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

A natural tensor product interpolation f

✍ Donald H. Thomas 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 580 KB

An Extension of the Craig-Lyndon Interpo

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

On the computation of the inverse of a t

✍ Nicholas P. Karampetakis; Alexandros Evripidou 📂 Article 📅 2010 🏛 Springer US 🌐 English ⚖ 585 KB