Axiomatic Theory of Betweenness

Por • 19 feb, 2019 • Sección: Ambiente

Sanaz Azimipour, Pavel Naumov

Betweenness as a relation between three individual points has been widely studied in geometry and axiomatized by several authors in different contexts. The article proposes a more general notion of betweenness as a relation between three sets of points. The main technical result is a sound and complete logical system describing universal properties of this relation between sets of vertices of a graph.

arXiv:1902.00847v1 [math.LO] 

Logic (math.LO)

Post to Twitter

Escribe un comentario