Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2409.08682 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _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 |