V. Marra

activity

20122023

most citedSheaf representations of MV-algebras and lattice-ordered abelian groups via duality

27 citations · 86 across the 17 of their papers we have counts for

collaborators

Showing cs.LOShow all

3 papers · 1 filter

cs.LO2014★ 14 cited

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 ${f_{1}, \dots, f_{n}}$ , $f_{i} : [0, 1] \to [0, 1]$ , such that $\sum_{i = 1}^{n} f_{i} (x) = 1$ for all $x \in [0, 1]$ , where $[0, 1]$ …

cs.LO2014★ 3 cited

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…

cs.LO2012★ 1 cited

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…