Ternary Operations as Primitive Notions for Constructive Plane Geometry IV

DOI10.1002/MALQ.19940400111MaRDI QIDQ4304152zbMATH OpenOpenAlexFDO

Authors 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.19940400111

zbMATH Keywords

algorithmic logicconstructive axiomatizationconstructive geometryEuclidean planes

Mathematics Subject Classification ID

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

Recommendations

• TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
• Ternary Operations as Primitive Notions for Constructive Plane Geometry
• Ternary operations as primitive notions for constructive plane geometry III
• Ternary Operations as Primitive Notions for Constructive Plane Geometry V

Cited in

(11)

• On the constructive geometry of Euclidean planes
• Axiomatizing geometric constructions
• The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles hold in weak geometries
• TERNARY OPERATIONS AS PRIMITIVE NOTIONS FOR PLANE GEOMETRY II
• TERNARY GEOMETRICAL OPERATIONS IN EUCLIDEAN GEOMETRY
• Ternary Operations as Primitive Notions for Constructive Plane Geometry
• Ternary operations as primitive notions for constructive plane geometry III
• Ternary Operations as Primitive Notions for Constructive Plane Geometry V
• Acute triangulation of a triangle in a general setting revisited
• scientific article; zbMATH DE number 1146547 (Why is no real title available?)
• Metric Geometries in an Axiomatic Perspective

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4304152)