The following pages link to (Q3978982):
Displayed 5 items.
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Elementary axioms for local maps of toposes (Q1861481) (← links)
- Bi-Heyting algebras, toposes and modalities (Q1914371) (← links)
- Unity and identity of opposites in calculus and physics (Q1923796) (← links)
- (Q4362082) (← links)