Axiomatization of betweenness in order-theoretic trees

The ternary betweenness relation of a tree, B(x,y,z) expresses that y is on the unique path between x and z. This notion can be extended to order-theoretic trees defined as partial orders such that the set of nodes larger than any node is linearly ordered. In such generalized trees, the unique "...

Fuld beskrivelse

Bibliografiske detaljer
Hovedforfatter: Bruno Courcelle
Format: Article
Sprog:English
Udgivet: Logical Methods in Computer Science e.V. 2021-02-01
Serier:Logical Methods in Computer Science
Fag:
Online adgang:https://lmcs.episciences.org/6317/pdf