A mixed logic with binary operators
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866914266724958208 |
|---|---|
| author | Düntsch, Ivo Gruszczyński, Rafał Menchón, Paula |
| author_facet | Düntsch, Ivo Gruszczyński, Rafał Menchón, Paula |
| contents | In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras. Furthermore, we develop a system of logic with two binary modalities, sound and complete with respect to the class of frames closely related to the aforementioned algebras, and we prove an embedding theorem which solves an open problem from "Betweenness algebras". |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2408_09581 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | A mixed logic with binary operators Düntsch, Ivo Gruszczyński, Rafał Menchón, Paula Logic 06E25, 03B45 In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras. Furthermore, we develop a system of logic with two binary modalities, sound and complete with respect to the class of frames closely related to the aforementioned algebras, and we prove an embedding theorem which solves an open problem from "Betweenness algebras". |
| title | A mixed logic with binary operators |
| topic | Logic 06E25, 03B45 |
| url | https://arxiv.org/abs/2408.09581 |