Ternary Operations as Primitive Notions for Constructive Plane Geometry V

DOI10.1002/MALQ.19940400404zbMath0808.03045OpenAlexW4246268598MaRDI QIDQ4315322

Victor V. Pambuccian

Publication date: 8 December 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19940400404

zbMATH Keywords

rectangular planesalgorithmic logicconstructive geometryconstructive axiomatizationmetric-Euclidean planes

Mathematics Subject Classification ID

Geometric constructions in real or complex geometry (51M15) Foundations of classical theories (including reverse mathematics) (03B30) Other constructive mathematics (03F65) Euclidean geometries (general) and generalizations (51M05)

Related Items (5)

Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries ⋮ Metric Geometries in an Axiomatic Perspective ⋮ On the constructive geometry of Euclidean planes ⋮ Axiomatizing geometric constructions ⋮ A common axiom set for classical and intuitionistic plane geometry

This page was built for publication: Ternary Operations as Primitive Notions for Constructive Plane Geometry V