Similar Items: A new characterization of complete Heyting and co-Heyting algebras
- Finitely generated free Heyting algebras via Birkhoff duality and coalgebra
- Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
- Overlap Algebras: a Constructive Look at Complete Boolean Algebras
- Free complete Wasserstein algebras
- On Tools for Completeness of Kleene Algebra with Hypotheses
- Completeness Theorems for Kleene algebra with tests and top