Ternary operations as primitive notions for constructive plane geometry III

DOI10.1002/MALQ.19930390143zbMath0799.03071OpenAlexW4241429961MaRDI QIDQ4304122

Victor V. Pambuccian

Publication date: 24 November 1994

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

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

zbMATH Keywords

algorithmic logicconstructive geometryconstructive axiomatizationEuclidean 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 (2)

On the constructive geometry of Euclidean planes ⋮ Axiomatizing geometric constructions

Cites Work

• Unnamed Item

This page was built for publication: Ternary operations as primitive notions for constructive plane geometry III