scientific article; zbMATH DE number 1302673

MaRDI QIDQ4249225zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 21 February 2000

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

zbMATH Keywords

amalgamationBeth definabilitydisjunction propertyHalldén-completenessHeyting algebrasinterpolationjoint embedding propertymodal algebrasmodal logicsprinciple of variable separationrelational semanticssuperintuitionistic logicssurveyvarieties

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Intermediate logics (03B55) Interpolation, preservation, definability (03C40) Other algebras related to logic (03G25)

Recommendations

• scientific article; zbMATH DE number 759439
• Algebraic counterparts for some properties of superintuitionistic predicate logics
• scientific article; zbMATH DE number 1354097

Cited in

(7)

• On variable separation in modal and superintuitionistic logics
• Algebraic counterparts for some properties of superintuitionistic predicate logics
• Decidability of the interpolation problem and of related properties in tabular logics
• Variable sharing in substructural logics: an algebraic characterization
• scientific article; zbMATH DE number 759439 (Why is no real title available?)
• On algebraisation of superintuitionistic predicate logics
• Connected modal 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 Q4249225)