Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective
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_ | 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 |