2 papers
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…
cs.LO2015
Querying with Łukasiewicz logic
Stefano Aguzzoli, Pietro Codara, Tommaso Flaminio +2
In this paper we present, by way of case studies, a proof of concept, based on a prototype working on a automotive data set, aimed at showing the potential usefulness of using form…