Pages that link to "Item:Q2365463"
From MaRDI portal
The following pages link to Logical quantization of topos theory (Q2365463):
Displaying 8 items.
- Topological representation and quantic separation axioms of semi-quantales (Q334570) (← links)
- Triposes, q-toposes and toposes (Q476121) (← links)
- Theory of microcubes (Q1367616) (← links)
- Propositional quantification in the topological semantics for \(\mathbf S4\) (Q1381441) (← links)
- Logical quantization of differential geometry (Q1910872) (← links)
- Empirical quantum mechanics (Q1919234) (← links)
- (Q3030805) (← links)
- Topos-based logic for quantum systems and bi-Heyting algebras (Q3179086) (← links)