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 2014 · cs.LOShow all

2 papers · 2 filters

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…