Hemi-Nelson algebras
Fuente:
arXiv
Salvato in:
| Autori principali: | , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2026
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915704853233664 |
|---|---|
| author | Lubomirsky, Noemí Menchón, Paula Martín, Hernán Javier San |
| author_facet | Lubomirsky, Noemí Menchón, Paula Martín, Hernán Javier San |
| contents | The aim of this paper is to generalize the link between Heyting algebras and Nelson algebras, established independently by Fidel and Vakarelov at the end of the 1970s, in the framework of bounded distributive hemi-implicative lattices. For this purpose, we introduce the variety of hemi-Nelson algebras. Moreover, we characterize the lattice of congruences of a hemi-Nelson algebra in terms of certain implicative filters. We also esta\-blish an equivalence between the algebraic category of bounded distributive hemi-implicative lattices and the one of centered hemi-Nelson algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2601_01000 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Hemi-Nelson algebras Lubomirsky, Noemí Menchón, Paula Martín, Hernán Javier San Logic The aim of this paper is to generalize the link between Heyting algebras and Nelson algebras, established independently by Fidel and Vakarelov at the end of the 1970s, in the framework of bounded distributive hemi-implicative lattices. For this purpose, we introduce the variety of hemi-Nelson algebras. Moreover, we characterize the lattice of congruences of a hemi-Nelson algebra in terms of certain implicative filters. We also esta\-blish an equivalence between the algebraic category of bounded distributive hemi-implicative lattices and the one of centered hemi-Nelson algebras. |
| title | Hemi-Nelson algebras |
| topic | Logic |
| url | https://arxiv.org/abs/2601.01000 |