Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | https://arxiv.org/abs/2502.00827 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866929695072714752 |
|---|---|
| author | Calomino, Ismael Pelaitay, Gustavo |
| author_facet | Calomino, Ismael Pelaitay, Gustavo |
| contents | The aim of this paper is to give a categorical equivalence for Stone algebras. We introduce the variety of Stone-Kleene algebras with intuitionistic negation, or Stone KAN-algebras for short, and explore Kalman's construction for Stone algebras. We examine the centered algebras within this new variety and prove that the category of Stone algebras is equivalent to the category of centered Stone KAN-algebras. Moreover, inspired by Monteiro's construction for Nelson algebras, we propose a method to construct a centered Stone KAN-algebra from a given Stone KAN-algebra and show the connection between Kalman's construction and Monteiro's construction. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2502_00827 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | A new categorial equivalence for Stone Algebras Calomino, Ismael Pelaitay, Gustavo Logic The aim of this paper is to give a categorical equivalence for Stone algebras. We introduce the variety of Stone-Kleene algebras with intuitionistic negation, or Stone KAN-algebras for short, and explore Kalman's construction for Stone algebras. We examine the centered algebras within this new variety and prove that the category of Stone algebras is equivalent to the category of centered Stone KAN-algebras. Moreover, inspired by Monteiro's construction for Nelson algebras, we propose a method to construct a centered Stone KAN-algebra from a given Stone KAN-algebra and show the connection between Kalman's construction and Monteiro's construction. |
| title | A new categorial equivalence for Stone Algebras |
| topic | Logic |
| url | https://arxiv.org/abs/2502.00827 |