The Projective Beth Property and Interpolation in Positive and Related Logics |
| |
Authors: | L. L. Maksimova |
| |
Affiliation: | (1) Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia |
| |
Abstract: | We look at the interplay between the projective Beth property in non-classical logics and interpolation. Previously, we proved that in positive logics as well as in superintuitionistic and modal ones, the projective Beth property PB2 follows from Craig's interpolation property and implies the restricted interpolation property IPR. Here, we show that IPR and PB2 are equivalent in positive logics, and also in extensions of the superintuitionistic logic KC and of the modal logic Grz.2. Supported by RFBR grant No. 06-01-00358, by INTAS grant No. 04-77-7080, and by the Council for Grants (under RF President) and State Aid of Fundamental Science Schools, project NSh-2069.2003.1. __________ Translated from Algebra i Logika, Vol. 45, No. 1, pp. 85–113, January–February, 2006. |
| |
Keywords: | projective Beth property restricted interpolation property positive logic superintuitionistic logic modal logic |
本文献已被 SpringerLink 等数据库收录! |
|