Tropicalization through the lens of Łukasiewicz logic, with a topos theoretic perspective

Antonio Di Nola, Giacomo Lenzi, Brunella Gerla

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 inve…