scientific article; zbMATH DE number 1431710

MaRDI QIDQ4948641zbMATH OpenFDO

Authors P. A. Shrajner

Publication date 13 April 2000

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

zbMATH Keywords

Beth propertyintermediate superintuitionistic logicinterpolation propertyKripke framepredicate superintuitionistic logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)

Recommendations

• scientific article; zbMATH DE number 1202113
• Interpolation property and superintuitionistic predicate logics
• Interpolation in superintuitionistic predicate logics with equality

Cited in

(6)

• Some syntactical properties of intermediate predicate logics
• Interpolation property and superintuitionistic predicate logics
• Interpolation in superintuitionistic predicate logics with equality
• The Beth property and interpolation in lattice-based algebras and logics
• Intuitionistic propositional logic with only equivalence has no interpolation
• scientific article; zbMATH DE number 1202113 (Why is no real title available?)

This page was built for publication:

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