Not every splitting Heyting or interior algebra is finitely presentable
From MaRDI portal
Publication:454375
DOI10.1007/s11225-012-9391-1zbMath1258.06003MaRDI QIDQ454375
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
modal logic; Heyting algebra; intermediate logic; finitely presentable algebra; interior algebra; splitting algebra
03B45: Modal logic (including the logic of norms)
06D20: Heyting algebras (lattice-theoretic aspects)
03G25: Other algebras related to logic
03B55: Intermediate logics
Related Items
Characteristic Formulas Over Intermediate Logics, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\)
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