scientific article; zbMATH DE number 1396683

zbMath0930.03018MaRDI QIDQ4936636

Larisa L. Maksimova

Publication date: 31 January 2000

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Heyting algebrassuperintuitionistic logicvarieties of algebrasinterpolation propertyBeth definability propertymodal algebranormal modal logicpseudoboolean algebra

Mathematics Subject Classification ID

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

Related Items (14)

Algorithms for recognizing restricted interpolation over the modal logic S4 ⋮ The projective Beth property in well-composed logics ⋮ The decidability of Craig's interpolation property in well-composed J-logics ⋮ Epimorphism surjectivity in varieties of Heyting algebras ⋮ Restricted interpolation property in superintuitionistic logics ⋮ Decidability of the interpolation problem and of related properties in tabular logics ⋮ Projective Beth property in extensions of Grzegorczyk logic ⋮ Classification of extensions of the modal logic S4 ⋮ Dominions of universal algebras and projective properties ⋮ Interpolation and the projective Beth property in well-composed logics ⋮ Definability and interpolation in non-classical logics ⋮ Amalgamation, interpolation, and implicit definability in varieties of algebras ⋮ Intuitionistic logic and implicit definability ⋮ Restricted interpolation over modal logic S4

This page was built for publication: