On Fidel Vakarelov construction for Monadic Godel algebras
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909267284459520 |
|---|---|
| author | Alonso, Maria Valentina Pelaitay, Gustavo |
| author_facet | Alonso, Maria Valentina Pelaitay, Gustavo |
| contents | A significant correlation between Nelson algebras and Heyting algebras has been explored by several scholars, including Cignoli, Fidel, Vakarelov, and Sendlewski. This connection is integral to the concept of twist structures, whose origins can be traced back to the work of Kalman. In this paper, we obtain an expansion of the Fidel-Vakarelov construction, applying it to monadic Godel algebras (or monadic prelinear Heyting algebras). This extension leads to the emergence of a new variety, which we aptly term monadic prelinear Nelson algebras. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2407_17648 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | On Fidel Vakarelov construction for Monadic Godel algebras Alonso, Maria Valentina Pelaitay, Gustavo Logic A significant correlation between Nelson algebras and Heyting algebras has been explored by several scholars, including Cignoli, Fidel, Vakarelov, and Sendlewski. This connection is integral to the concept of twist structures, whose origins can be traced back to the work of Kalman. In this paper, we obtain an expansion of the Fidel-Vakarelov construction, applying it to monadic Godel algebras (or monadic prelinear Heyting algebras). This extension leads to the emergence of a new variety, which we aptly term monadic prelinear Nelson algebras. |
| title | On Fidel Vakarelov construction for Monadic Godel algebras |
| topic | Logic |
| url | https://arxiv.org/abs/2407.17648 |