Pages that link to "Item:Q1942035"
From MaRDI portal
The following pages link to Esakia style duality for implicative semilattices (Q1942035):
Displaying 18 items.
- Generalized Priestley quasi-orders (Q634744) (← links)
- Priestley style duality for distributive meet-semilattices (Q763299) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← links)
- A topological duality for monotone expansions of semilattices (Q2105676) (← links)
- A duality for two-sorted lattices (Q2156992) (← links)
- On intermediate inquisitive and dependence logics: an algebraic study (Q2172827) (← links)
- Relative annihilator-preserving congruence relations and relative annihilator-preserving homomorphisms in bounded distributive semilattices. (Q2257477) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718) (← links)
- Diego's theorem for nuclear implicative semilattices (Q2657649) (← links)
- On the free implicative semilattice extension of a Hilbert algebra (Q2888632) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- (Q5101334) (← links)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- A frame-theoretic perspective on Esakia duality (Q6076967) (← links)
- Characterizations of near-Heyting algebras (Q6166630) (← links)
