Betweenness Algebras

, &
Journal of Symbolic Logic (forthcoming)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2023.86

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,928

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Boolean algebras arising from information systems.Ivo Düntsch & Ewa Orłowska - 2004 - Annals of Pure and Applied Logic 127 (1-3):77-98.
The theory of Boolean algebras with an additional binary operation.Bronis?aw Tembrowski - 1983 - Studia Logica 42 (4):389 - 405.
Tense Operators on BL-algebras and its Applications.Akbar Paad - forthcoming - Bulletin of the Section of Logic.
Tense Operators on BL-algebras and Their Applications.Akbar Paad - 2021 - Bulletin of the Section of Logic 50 (3):299-324.
A variety of algebras closely related to subordination algebras.Sergio Celani & Ramon Jansana - 2022 - Journal of Applied Non-Classical Logics 32 (2):200-238.
Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
Heyting Algebras with Operators.Yasusi Hasimoto - 2001 - Mathematical Logic Quarterly 47 (2):187-196.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hern?N. J. San Mart?N. - 2012 - Studia Logica 100 (1-2):91-114.
Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)².Roberto Cignoli & Antoni Torrens Torrell - 2006 - Studia Logica 83 (1-3):157 - 181.
Qb And Normal Algebras.Bronislaw Tembrowski - 1985 - Bulletin of the Section of Logic 14 (1):41-45.
Complete and atomic Tarski algebras.Sergio Arturo Celani - 2019 - Archive for Mathematical Logic 58 (7-8):899-914.
The logic of π-algebras.Gary Hardegree - manuscript
Boolean deductive systems of BL-algebras.Esko Turunen - 2001 - Archive for Mathematical Logic 40 (6):467-473.
Semi-Cohen Boolean algebras.Bohuslav Balcar, Thomas Jech & Jindřich Zapletal - 1997 - Annals of Pure and Applied Logic 87 (3):187-208.
Averaging the truth-value in łukasiewicz logic.Daniele Mundici - 1995 - Studia Logica 55 (1):113 - 127.

Analytics

Added to PP
2024-02-06

Downloads
6 (#1,461,457)

6 months
6 (#520,776)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Rafał Gruszczyński
Nicolaus Copernicus University

Citations of this work

No citations found.

Add more citations

References found in this work

Modal Logic.Patrick Blackburn, Maarten de Rijke & Yde Venema - 2001 - Studia Logica 76 (1):142-148.
Semantic analysis of orthologic.R. I. Goldblatt - 1974 - Journal of Philosophical Logic 3 (1/2):19 - 35.
Tarski's system of geometry.Alfred Tarski & Steven Givant - 1999 - Bulletin of Symbolic Logic 5 (2):175-214.
Inaccessible worlds.I. L. Humberstone - 1983 - Notre Dame Journal of Formal Logic 24 (3):346-352.
Mixed algebras and their logics.Ivo Düntsch, Ewa Orłowska & Tinko Tinchev - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):304-320.

View all 6 references / Add more references