Subresiduated Nelson Algebras
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866909228970541056 |
|---|---|
| author | Lubomirsky, Noemí Menchón, Paula Martín, Hernán San |
| author_facet | Lubomirsky, Noemí Menchón, Paula Martín, Hernán San |
| contents | In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main tool for its study is the construction provided by Vakarelov. Using it, we characterize the lattice of congruences of a subresiduated Nelson algebra through some of its implicative filters. We use this characterization to describe simple and subdirectly irreducible algebras, as well as principal congruences. Moreover, we prove that the variety of subresiduated Nelson algebras has equationally definable principal congruences and also the congruence extension property. Additionally, we present an equational base for the variety generated by the totally ordered subresiduated Nelson algebras. Finally, we show that there exists an equivalence between the algebraic category of subresiduated lattices and the algebraic category of centedred subresiduated Nelson algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_15183 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Subresiduated Nelson Algebras Lubomirsky, Noemí Menchón, Paula Martín, Hernán San Logic 06D30, 03G25 In this paper we generalize the well known relation between Heyting algebras and Nelson algebras in the framework of subresiduated lattices. In order to make it possible, we introduce the variety of subresiduated Nelson algebras. The main tool for its study is the construction provided by Vakarelov. Using it, we characterize the lattice of congruences of a subresiduated Nelson algebra through some of its implicative filters. We use this characterization to describe simple and subdirectly irreducible algebras, as well as principal congruences. Moreover, we prove that the variety of subresiduated Nelson algebras has equationally definable principal congruences and also the congruence extension property. Additionally, we present an equational base for the variety generated by the totally ordered subresiduated Nelson algebras. Finally, we show that there exists an equivalence between the algebraic category of subresiduated lattices and the algebraic category of centedred subresiduated Nelson algebras. |
| title | Subresiduated Nelson Algebras |
| topic | Logic 06D30, 03G25 |
| url | https://arxiv.org/abs/2406.15183 |