Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2022
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866913244867723264 |
|---|---|
| author | Holliday, Wesley H. |
| author_facet | Holliday, Wesley H. |
| contents | In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of complete ortholattices and complete perfect Heyting algebras drop out as special cases of the first representation, while the second covers arbitrary complete lattices, as well as complete lattices equipped with a negation we call a protocomplementation. The third topological representation is a variant of that of Craig, Haviar, and Priestley. We then extend each of the three representations to lattices with a multiplicative unary modality; the representing structures, like so-called graph-based frames, add a second relation of accessibility interacting with compatibility. The three representations generalize possibility semantics for classical modal logics to non-classical modal logics, motivated by a recent application of modal orthologic to natural language semantics. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2201_07098 |
| institution | arXiv |
| publishDate | 2022 |
| record_format | arxiv |
| spellingShingle | Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics Holliday, Wesley H. Logic Logic in Computer Science 06B15, 06B23, 06C15, 06D15, 06D20, 06D22, 06E15, 06E25, 03B45, 03G10 F.4.1 In this paper, we study three representations of lattices by means of a set with a binary relation of compatibility in the tradition of Ploščica. The standard representations of complete ortholattices and complete perfect Heyting algebras drop out as special cases of the first representation, while the second covers arbitrary complete lattices, as well as complete lattices equipped with a negation we call a protocomplementation. The third topological representation is a variant of that of Craig, Haviar, and Priestley. We then extend each of the three representations to lattices with a multiplicative unary modality; the representing structures, like so-called graph-based frames, add a second relation of accessibility interacting with compatibility. The three representations generalize possibility semantics for classical modal logics to non-classical modal logics, motivated by a recent application of modal orthologic to natural language semantics. |
| title | Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics |
| topic | Logic Logic in Computer Science 06B15, 06B23, 06C15, 06D15, 06D20, 06D22, 06E15, 06E25, 03B45, 03G10 F.4.1 |
| url | https://arxiv.org/abs/2201.07098 |