scientific article; zbMATH DE number 1396683
From MaRDI portal
zbMATH Open0930.03018MaRDI QIDQ4936636FDOQ4936636
Publication date: 31 January 2000
Full work available at URL: https://eudml.org/doc/187889
Title of this publication is not available (Why is that?)
Heyting algebrasvarieties of algebrasinterpolation propertyBeth definability propertysuperintuitionistic logicmodal algebranormal modal logicpseudoboolean algebra
Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Other algebras related to logic (03G25) Heyting algebras (lattice-theoretic aspects) (06D20)
Cited In (18)
- 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
- Title not available (Why is that?)
- The decidability of Craig's interpolation property in well-composed J-logics
- Restricted interpolation property in superintuitionistic logics
- 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
Recommendations
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)
