Automatic recognition of the interpolation property in some superintuitionistic propositional logics

MaRDI QIDQ2882965zbMATH OpenFDO

Authors P. A. Shrajner

Publication date 11 May 2012

Published in Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya: Matematika, Mekhanika, Informatika (Search for Journal in Brave)

zbMATH Keywords

Craig interpolation propertydeducibility interpolation propertypropositional variable

Mathematics Subject Classification ID

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

Recommendations

• Problem of restricted interpolation in superintuitionistic and some modal logics
• Doing logic by computer: Interpolation in fragments of intuitionistic propositional logic
• Interpolation in superintuitionistic predicate logics with equality
• Restricted interpolation property in superintuitionistic logics
• Interpolation property and superintuitionistic predicate logics

Cited in

(2)

• SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics
• Decidability of some interpolation properties for weakly transitive modal logics

This page was built for publication: Automatic recognition of the interpolation property in some superintuitionistic propositional logics

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