Pages that link to "Item:Q1942035"
From MaRDI portal
The following pages link to Esakia style duality for implicative semilattices (Q1942035):
Displayed 11 items.
- Generalized Priestley quasi-orders (Q634744) (← links)
- Priestley style duality for distributive meet-semilattices (Q763299) (← links)
- Lewis meets Brouwer: constructive strict implication (Q1688950) (← 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)
- 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)
- EXISTENTIALLY CLOSED BROUWERIAN SEMILATTICES (Q5207566) (← links)
- Easkia Duality and Its Extensions (Q5255792) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)