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 "...

Full description

Bibliographic Details
Main Author: Bruno Courcelle
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2021-02-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/6317/pdf