Betweenness algebras
Betweenness algebras
We introduce and study a class of betweenness algebras-Boolean algebras with binary operators, closely related to ternary frames with a betweenness relation. From various axioms for betweenness, we chose those that are most common, which makes our work applicable to a wide range of betweenness structures studied in the literature. On the algebraic side, we work with two operators of possibility and of suffciency.
Paula Menchon、Rafal Gruszczynski、Ivo Duentsch
数学
Paula Menchon,Rafal Gruszczynski,Ivo Duentsch.Betweenness algebras[EB/OL].(2023-08-31)[2025-04-30].https://arxiv.org/abs/2309.00159.点此复制
评论