Extensions of proof-intuitionistic logic without interpolation property

MaRDI QIDQ4904131zbMATH OpenFDO

Authors I. G. Simonova, V. V. Verbitskij

Publication date 28 January 2013

zbMATH Keywords

finitely approximable logicinterpolation propertyproof-intuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Interpolation, preservation, definability (03C40)

Recommendations

• Interpolation property for extensions of intuitionistic provability logic
• A method of proving interpolation in paraconsistent extensions of the minimal logic
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• Extensions of the minimal logic and the interpolation problem
• Interpolation and Definability in Extensions of the Minimal Logic

Cited in

(4)

• Extensions of intuitionistic logic without the deduction theorem: some simple examples
• Intuitionistic propositional logic with only equivalence has no interpolation
• Three interpolation theorems for typeless logics
• Interpolation property for extensions of intuitionistic provability logic

This page was built for publication: Extensions of proof-intuitionistic logic without interpolation property

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4904131)