The following pages link to (Q4277651):
Displaying 9 items.
- On Bellissima's construction of the finitely generated free Heyting algebras, and beyond (Q711563) (← links)
- The bounded proof property via step algebras and step frames (Q741087) (← links)
- Free equivalential algebras (Q952484) (← links)
- An algebraic theory of normal forms (Q1346245) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- Free Heyting Algebras: Revisited (Q2888491) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- Canonical Extensions, Esakia Spaces, and Universal Models (Q5255790) (← links)