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ženo v:

Podrobná bibliografie
Vydáno v:	Theoretical computer science Ročník 993; s. 114460
Hlavní autoři:	Chalopin, Jérémie, Changat, Manoj, Chepoi, Victor, Jacob, Jeny
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 27.04.2024 Elsevier
Témata:	[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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!