2023/08/31 by Ivo Duentsch, Duentsch, Ivo, Rafał Gruszczyński +3
Computer Science · #03B45 #06E25 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2309.00159
openalex publication_date 2023/08/31 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.