Not every splitting Heyting or interior algebra is finitely presentable

DOI10.1007/S11225-012-9391-1zbMath1258.06003OpenAlexW2002094262MaRDI QIDQ454375

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

modal logicHeyting algebraintermediate logicfinitely presentable algebrainterior algebrasplitting algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Heyting algebras (lattice-theoretic aspects) (06D20) Other algebras related to logic (03G25) Intermediate logics (03B55)

Related Items (3)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) ⋮ Characteristic Formulas Over Intermediate Logics

Cites Work

• An almost general splitting theorem for modal logic
• A lattice of normal modal logics
• Tools and techniques in modal logic
• On the structure of varieties with equationally definable principal congruences. I
• Injective and Projective Heyting Algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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