Restricted interpolation property in superintuitionistic logics

DOI10.1007/S10469-009-9042-4zbMath1241.03031OpenAlexW2043421046MaRDI QIDQ431670

Larisa L. Maksimova

Publication date: 29 June 2012

Published in: Algebra and Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10469-009-9042-4

zbMATH Keywords

superintuitionistic logicprojective Beth propertyGrzegorczyk logicrestricted interpolation property

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Interpolation, preservation, definability (03C40) Intermediate logics (03B55)

Cites Work

• A lattice of normal modal logics
• Craig's theorem in superintuitionistic logics and amalgamable varieties of pseudo-Boolean algebras
• Modal logics and varieties of modal algebras: The Beth properties, interpolation, and amalgamation
• Intuitionistic logic and implicit definability
• Projective Beth property in extensions of Grzegorczyk logic
• The Projective Beth Property and Interpolation in Positive and Related Logics
• Definability in Normal Extensions of S4
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Restricted interpolation property in superintuitionistic logics