Pages that link to "Item:Q1319366"
From MaRDI portal
The following pages link to Formal systems for modal operators on locales (Q1319366):
Displayed 5 items.
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- Strong amalgamation, Beck-Chevalley for equivalence relations and interpolation in algebraic logic (Q1406853) (← links)
- The Evil Twin: The Basics of Complement-Toposes (Q5241534) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- From (Paraconsistent) Topos Logic to Universal (Topos) Logic (Q5350337) (← links)