Restricted interpolation property in superintuitionistic logics

• Autores: L. L. Maksimova
• Localización: Algebra and logic, ISSN 0002-5232, Vol. 48, Nº. 1, 2009, págs. 33-53
• Idioma: inglés
• DOI: 10.1007/s10469-009-9042-4
• Texto completo no disponible (Saber más ...)
• Resumen

  • The restricted interpolation property IPR in modal and superintuitionistic logics is investigated. It is proved that in superintuitionistic logics of finite slices and in finite-slice extensions of the Grzegorczyk logic, the property IPR is equivalent to the projective Beth property PB2.