Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
From MaRDI portal
Publication:3003327
DOI10.2168/LMCS-7(2:9)2011zbMath1229.06003arXiv1102.2828OpenAlexW2949205883MaRDI QIDQ3003327
Mai Gehrke, Nick Bezhanishvili
Publication date: 26 May 2011
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1102.2828
Related Items
Kleene algebras with implication, Continuity, freeness, and filtrations, Principal congruences in weak Heyting algebras, Duality and Universal Models for the Meet-Implication Fragment of IPC, On principal congruences in distributive lattices with a commutative monoidal operation and an implication, On self‐distributive weak Heyting algebras, Hereditarily structurally complete intermediate logics: Citkin's theorem via duality, The bounded proof property via step algebras and step frames, Canonical Extensions, Esakia Spaces, and Universal Models, Easkia Duality and Its Extensions, Compatible operations on commutative weak residuated lattices
