activity
20112024
most citedState morphism MV-algebras

2 citations · 2 across the 4 of their papers we have counts for

collaborators
Showing 2024Show all

1 paper · 1 filter

math.LO2024

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…