Automatic recognition of the interpolation property in some superintuitionistic propositional logics

zbMATH Open1249.03037MaRDI QIDQ2882965FDOQ2882965

Authors: P. A. Shrajner 

Publication date: 11 May 2012

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

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

zbMATH Keywords

Craig interpolation propertydeducibility interpolation propertypropositional variable

Mathematics Subject Classification ID

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

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)