✦ LIBER ✦

Provability logic without Craig's interpolation property

✍ Scribed by L. D. Beklemishev

Publisher: SP MAIK Nauka/Interperiodica
Year: 1989
Tongue: English
Weight: 621 KB
Volume: 45
Category: Article
ISSN: 0001-4346
DOI: 10.1007/bf01158230

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Harmonious logic: Craig’s interpolation

Harmonious logic: Craig’s interpolation theorem and its descendants

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

Continuum of normal extensions of the mo

Continuum of normal extensions of the modal logic of provability with the interpolation property

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

A constructive proof of Craig's interpol

A constructive proof of Craig's interpolation lemma for m-valued logic

✍ Anita Waselewska 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 437 KB

The a]gebraie proof of CrMg's interpolation lemma for m-valued logic was given by Rasiowa in [i]. We present here a constructive proof of this lemma, based on a Gentzen type formMization. :Let J be the set oi all formulas oi m-valued predicate calculus. We assume that our language does not contain

Craig's interpolation theorem for the in

Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach

✍ Hiroakira Ono 📂 Article 📅 1986 🏛 Springer Netherlands 🌐 English ⚖ 935 KB

A lower bound for the complexity of Crai

A lower bound for the complexity of Craig's interpolants in sentential logic

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

Interpolation property for extensions of

Interpolation property for extensions of intuitionistic proof logic

✍ I. G. Simonova 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 573 KB