Pages that link to "Item:Q3564341"
From MaRDI portal
The following pages link to Bitopological duality for distributive lattices and Heyting algebras (Q3564341):
Displaying 26 items.
- Funayama's theorem revisited (Q387628) (← links)
- A non-commutative Priestley duality. (Q390415) (← links)
- Gödel algebras: interactive dualities and their applications. (Q494623) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- The Zariski topology on sets of semistar operations without finite-type assumptions (Q1786449) (← links)
- The upper Vietoris topology on the space of inverse-closed subsets of a spectral space and applications (Q1799913) (← links)
- Esakia style duality for implicative semilattices (Q1942035) (← links)
- The category of finitary biframes as the category of pointfree bispaces (Q1979276) (← links)
- The assembly of a pointfree bispace and its two variations (Q2087399) (← links)
- Hofmann-Mislove through the lenses of Priestley (Q2099147) (← links)
- Bitopological duality for algebras of Fitting's logic and natural duality extension (Q2231653) (← links)
- Dualities for subresiduated lattices (Q2240721) (← links)
- Topological representation of intuitionistic and distributive abstract logics (Q2399600) (← links)
- Lattice subordinations and Priestley duality. (Q2443678) (← links)
- Remarks on hyperspaces for Priestley spaces (Q2680995) (← links)
- B-frame duality (Q2689804) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- CHOICE-FREE STONE DUALITY (Q5107222) (← links)
- (Q5213081) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- A frame-theoretic perspective on Esakia duality (Q6076967) (← links)
- Pervin spaces and Frith frames: bitopological aspects and completion (Q6077386) (← links)
- Ordered locales (Q6117885) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)
