scientific article; zbMATH DE number 1396683

MaRDI QIDQ4936636zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 31 January 2000

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

zbMATH Keywords

Heyting algebrasvarieties of algebrasinterpolation propertyBeth definability propertysuperintuitionistic logicmodal algebranormal modal logicpseudoboolean algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)

Recommendations

• scientific article; zbMATH DE number 1354097
• Algebraic characterizations of various Beth definability properties
• Superintuitionistic logics and the projective Beth property
• scientific article; zbMATH DE number 1989661
• Definability in Normal Extensions of S4

Cited in

(19)

• Interpolation and the projective Beth property in well-composed logics
• Dominions of universal algebras and projective properties
• Epimorphism surjectivity in varieties of Heyting algebras
• On the Beth properties of some intuitionistic modal logics
• Intuitionistic logic and implicit definability
• Algorithms for recognizing restricted interpolation over the modal logic S4
• scientific article; zbMATH DE number 1989661 (Why is no real title available?)
• Restricted interpolation property in superintuitionistic logics
• The decidability of Craig's interpolation property in well-composed J-logics
• Definability in Normal Extensions of S4
• Amalgamation, interpolation, and implicit definability in varieties of algebras
• Restricted interpolation over modal logic S4
• Projective Beth property in extensions of Grzegorczyk logic
• Definability and interpolation in non-classical logics
• Projective unification in modal logic
• Superintuitionistic logics and the projective Beth property
• Classification of extensions of the modal logic S4
• The projective Beth property in well-composed logics
• Decidability of the interpolation problem and of related properties in tabular logics

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 Q4936636)