The following pages link to Scattered toposes (Q1977486):
Displayed 6 items.
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- On infinite variants of De Morgan law in locale theory (Q2196321) (← links)
- The modalized Heyting calculus: a conservative modal extension of the Intuitionistic Logic ★ (Q3647244) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- Conservative expansions of substructural logics (Q6201549) (← links)