First-order logic axiomatization of metric graph theory

The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Theoretical computer science Ročník 993; s. 114460
Hlavní autori:	Chalopin, Jérémie, Changat, Manoj, Chepoi, Victor, Jacob, Jeny
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 27.04.2024 Elsevier
Predmet:	[formula omitted] games Axiomatization Betweenness Combinatorics Computational Geometry Computer Science Data Structures and Algorithms Discrete Mathematics First-order logic Mathematics Metric Geometry Metric graph theory Betweenness First-order logic Axiomatization Metric graph theory E−F games
ISSN:	0304-3975, 1879-2294
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!