Not every splitting Heyting or interior algebra is finitely presentable

DOI10.1007/S11225-012-9391-1zbMATH Open1258.06003OpenAlexW2002094262MaRDI QIDQ454375FDOQ454375

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

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

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)

Cites Work

• Tools and techniques in modal logic
• On the structure of varieties with equationally definable principal congruences. I
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A lattice of normal modal logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Injective and Projective Heyting Algebras
• An almost general splitting theorem for modal logic

Cited In (4)

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

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)