14 citations · 51 across the 15 of their papers we have counts for
5 papers · 1 filter
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…
Valuations in Nilpotent Minimum Logic
Pietro Codara, Diego Valota
The Euler characteristic can be defined as a special kind of valuation on finite distributive lattices. This work begins with some brief consideration on the role of the Euler char…
An Analysis of Ruspini Partitions in Gödel Logic
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
By a Ruspini partition we mean a finite family of fuzzy sets , , such that for all , where …
Valuations in Gödel Logic, and the Euler Characteristic
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
Using the lattice-theoretic version of the Euler characteristic introduced by V. Klee and G.-C. Rota in the Sixties, we define the Euler characteristic of a formula in Gödel logic…
The logical content of triangular bases of fuzzy sets in Łukasiewicz infinite-valued logic
Pietro Codara, Ottavio M. D'Antona, Vincenzo Marra
Continuing to pursue a research direction that we already explored in connection with Gödel-Dummett logic and Ruspini partitions, we show here that Łukasiewicz logic is able to exp…