Interpolation in superintuitionistic predicate logics with equality

MaRDI QIDQ2709301zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 24 July 2001

Published in Algebra i Logika (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/187828

zbMATH Keywords

Beth propertyCraig interpolation propertyequality-free fragmentsuperintuitionistic logic

Mathematics Subject Classification ID

Intermediate logics (03B55) Interpolation, preservation, definability (03C40)

Recommendations

• scientific article; zbMATH DE number 1215466
• Interpolation property and superintuitionistic predicate logics
• scientific article; zbMATH DE number 1431710
• scientific article; zbMATH DE number 1202113
• Restricted interpolation property in superintuitionistic logics

Cited in

(11)

• Interpolation property and superintuitionistic predicate logics
• Constructing a continuum of predicate extensions of each intermediate propositional logic
• Automatic recognition of the interpolation property in some superintuitionistic propositional logics
• Interpolation and joint consistency
• Synonymous theories and knowledge representations in answer set programming
• Intuitionistic propositional logic with only equivalence has no interpolation
• scientific article; zbMATH DE number 1202113 (Why is no real title available?)
• scientific article; zbMATH DE number 1215466 (Why is no real title available?)
• scientific article; zbMATH DE number 549808 (Why is no real title available?)
• scientific article; zbMATH DE number 1431710 (Why is no real title available?)
• Interpolation theorems for intuitionistic predicate logic

This page was built for publication: Interpolation in superintuitionistic predicate logics with equality

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