Not every splitting Heyting or interior algebra is finitely presentable

DOI10.1007/S11225-012-9391-1MaRDI QIDQ454375zbMATH OpenOpenAlexFDO

Authors Alex Citkin

Publication date 1 October 2012

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9391-1

zbMATH Keywords

intermediate logicmodal logicHeyting algebrafinitely presentable algebrainterior algebrasplitting algebra

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

• Splittings in varieties of logic
• Varieties of monadic Heyting algebras. I
• Varieties of BL-algebras. III: Splitting algebras
• Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra
• Finitely generated free Heyting algebras

Cites work

• scientific article; zbMATH DE number 2184446 (Why is no real title available?)
• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3968648 (Why is no real title available?)
• scientific article; zbMATH DE number 3463628 (Why is no real title available?)
• scientific article; zbMATH DE number 3482306 (Why is no real title available?)
• scientific article; zbMATH DE number 3564971 (Why is no real title available?)
• scientific article; zbMATH DE number 5488086 (Why is no real title available?)
• scientific article; zbMATH DE number 3230245 (Why is no real title available?)
• scientific article; zbMATH DE number 3287709 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• A lattice of normal modal logics
• An almost general splitting theorem for modal logic
• Injective and Projective Heyting Algebras
• On the structure of varieties with equationally definable principal congruences. I
• Tools and techniques in modal logic

Cited in

(4)

• The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
• Characteristic formulas over intermediate logics
• Yankov Characteristic Formulas (An Algebraic Account)
• ${\cal P}_w$ Is Not a Heyting Algebra

This page was built for publication: Not every splitting Heyting or interior algebra is finitely presentable

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q454375)