Abstract
Abstract
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 sufficiency.
Publisher
Cambridge University Press (CUP)
Reference29 articles.
1. Modal Logic
2. Mathematical modal logic: A view of its evolution;Goldblatt;Journal of Applied Physiology,2003
3. Modal Logics of Space
4. Duality Theories for Boolean Algebras with Operators
5. [12] Freese, R. , Kiss, E. , and Valeriote, M. , Universal algebra calculator, 2011. Available at http://www.uacalc.org.