Ternary Operations as Primitive Notions for Constructive Plane Geometry IV

Research output: Contribution to journalArticlepeer-review

11 Scopus citations

Abstract

In this paper we provide a quantifier‐free constructive axiomatization for Euclidean planes in a first‐order language with only ternary operation symbols and three constant symbols (to be interpreted as ‘points’). We also determine the algorithmic theories of some ‘naturally occurring’ plane geometries. Mathematics Subject Classification: 03F65, 51M05, 51M15, 03B30.

Original languageEnglish (US)
Pages (from-to)76-86
Number of pages11
JournalMathematical Logic Quarterly
Volume40
Issue number1
DOIs
StatePublished - 1994
Externally publishedYes

Keywords

  • Algorithmic logic
  • Constructive axiomatization
  • Euclidean planes

ASJC Scopus subject areas

  • Logic

Fingerprint Dive into the research topics of 'Ternary Operations as Primitive Notions for Constructive Plane Geometry IV'. Together they form a unique fingerprint.

Cite this