Pages that link to "Item:Q1964142"
From MaRDI portal
The following pages link to Simplifying von Plato's axiomatization of constructive apartness geometry (Q1964142):
Displaying 7 items.
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- Using the prover ANDP to simplify orthogonality. (Q1412831) (← links)
- Quantifier-free axioms for constructive affine plane geometry (Q1840989) (← links)
- The axioms of constructive geometry (Q1902978) (← links)
- `Outside' as a primitive notion in constructive projective geometry (Q1909592) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Simplifying the axiomatization for ordered affine geometry via a theorem prover (Q6168184) (← links)