Pages that link to "Item:Q2476160"
From MaRDI portal
The following pages link to Topo-canonical completions of closure algebras and Heyting algebras (Q2476160):
Displaying 12 items.
- Admissible bases via stable canonical rules (Q284230) (← links)
- Connected modal logics (Q535140) (← links)
- Modal languages for topology: expressivity and definability (Q1023054) (← links)
- Canonical extensions and ultraproducts of polarities (Q1800462) (← links)
- Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
- STABLE CANONICAL RULES (Q2805038) (← links)
- Topological Perspective on the Hybrid Proof Rules (Q2867949) (← links)
- Continuity, freeness, and filtrations (Q2901195) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- (Q5101337) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- On open maps and related functions over the Salbany compactification (Q6125063) (← links)