scientific article; zbMATH DE number 3823745

MaRDI QIDQ3671129zbMATH OpenFDO

Authors L. L. Maksimova

Publication date 1982

zbMATH Keywords

amalgamationvarieties of closure algebrassuperintuitionistic logicsinterpolation theorempositive fragmentsmodal logics containing S4superamalgamationwell-presentable logics

Mathematics Subject Classification ID

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

Cited in

(3)

• Amalgamation and interpolation in normal modal logics
• Interpolation and amalgamation properties in varieties of equivalential algebras
• Syntax and semantics of superintuitionistic 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 Q3671129)