2 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
A note on drastic product logic
Stefano Aguzzoli, Matteo Bianchi, Diego Valota
The drastic product is known to be the smallest -norm, since whenever . This -norm is not left-continuous, and hence it does not admit a residuu…
Two principles in many-valued logic
Stefano Aguzzoli, Vincenzo Marra
Classically, two propositions are logically equivalent precisely when they are true under the same logical valuations. Also, two logical valuations are distinct if, and only if, th…
MV-algebras freely generated by finite Kleene algebras
Stefano Aguzzoli, Leonardo M. Cabrer, Vincenzo Marra
If V and W are varieties of algebras such that any V-algebra A has a reduct U(A) in W, there is a forgetful functor U: V->W that acts by A |-> U(A) on objects, and identically on h…