Simplifying von Plato's axiomatization of constructive apartness geometry

DOI10.1016/S0168-0072(99)00031-7zbMath0939.03069OpenAlexW2056801043MaRDI QIDQ1964142

Peifa Jia, Xinxin Li, Dafa Li

Publication date: 29 June 2000

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0168-0072(99)00031-7

zbMATH Keywords

constructive geometryapartness geometryintuitionistic axiom system

Mathematics Subject Classification ID

Related Items (2)

Using the prover ANDP to simplify orthogonality. ⋮ Axiomatizing geometric constructions

Cites Work

• Unification algorithms for eliminating and introducing quantifiers in natural deduction automated theorem proving
• Single axioms for the left group and right group calculi
• Questions concerning possible shortest single axioms for the equivalential calculus: An application of automated theorem proving to infinite domains
• Shortest single axioms for the classical equivalential calculus
• Single identities for lattice theory and for weakly associative lattices
• Single identities for ternary Boolean algebras
• Solution of the Robbins problem
• The axioms of constructive geometry
• Logic and structure

This page was built for publication: Simplifying von Plato's axiomatization of constructive apartness geometry