First-order logic with metric betweenness – the case of non-definability of some graph classes
| Autor: | Jeny Jacob, Manoj Changat |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2024 |
| Předmět: | |
| Zdroj: | AKCE International Journal of Graphs and Combinatorics, Vol 21, Iss 3, Pp 232-237 (2024) |
| Druh dokumentu: | article |
| ISSN: | 09728600 2543-3474 0972-8600 |
| DOI: | 10.1080/09728600.2023.2282105 |
| Popis: | The metric betweenness of a connected graph and arbitrary graphs is FO definable. Moreover, several interesting classes of graphs with strong distance properties are shown to be FO definable using metric betweenness. However, there are different classes that do not possess such an FO axiomatization. The main goal of this note is to show that certain classes of graphs do not allow an axiomatization in First-Order Logic with Betweenness (FOLB). |
| Databáze: | Directory of Open Access Journals |
| Externí odkaz: |
|