Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866912183861903360 |
|---|---|
| author | Di Nola, Antonio Lenzi, Giacomo Gerla, Brunella |
| author_facet | Di Nola, Antonio Lenzi, Giacomo Gerla, Brunella |
| contents | The main aim of this paper is to show the interconnections between Łukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on idempotent semifields, in particular those related with MV-algebras, describing categorical equivalence between different structures related to tropical geometry and many valued logics. Further, we describe such connections in terms of topoi. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_08682 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective Di Nola, Antonio Lenzi, Giacomo Gerla, Brunella Logic The main aim of this paper is to show the interconnections between Łukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on idempotent semifields, in particular those related with MV-algebras, describing categorical equivalence between different structures related to tropical geometry and many valued logics. Further, we describe such connections in terms of topoi. |
| title | Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective |
| topic | Logic |
| url | https://arxiv.org/abs/2409.08682 |