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

Beth definability propertyHeyting algebrasinterpolation propertymodal algebranormal modal logicpseudoboolean algebrasuperintuitionistic logicvarieties of algebras

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

(20)

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

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)