Pages that link to "Item:Q1706265"
From MaRDI portal
The following pages link to Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265):
Displayed 6 items.
- The spectrum problem for abelian \(\ell\)-groups and MV-algebras (Q776994) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- (Q5233741) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- The successive dimension, without elegance (Q6154352) (← links)