17 citations · 20 across the 5 of their papers we have counts for
5 papers
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…
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…
Rational Lukasiewicz logic and DMV-algebras
Brunella Gerla
In this paper we present some results on the variety of divisible MV-algebras. Any free divisible MV-algebra is an algebra of continuous piecewise linear functions with rational co…
Representation of Perfect and Local MV-algebras
Brunella Gerla, Ciro Russo, Luca Spada
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Ab…
The Logic of CMV-Algebras
Antonio Di Nola, Brunella Gerla, Ciro Russo
In this paper, once recalled some properties of CMV-algebras, we introduce an expansion of the one-variable fragment of Lukasiewicz propositional logic whose algebraic semantics is…