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 2014Show all

4 papers · 1 filter

math.CT2014

General affine adjunctions, Nullstellensätze, and dualities

Olivia Caramello, Vincenzo Marra, Luca Spada

We introduce and investigate a category-theoretic abstraction of the standard "system-solution" adjunction in affine algebraic geometry. We then look further into these geometric a…

math.FA2014

From Freudenthal's Spectral Theorem to projectable hulls of unital Archimedean lattice-groups, through compactifications of minimal spectra

Richard N. Ball, Vincenzo Marra, Daniel McNeill +1

We use a landmark result in the theory of Riesz spaces - Freudenthal's 1936 Spectral Theorem - to canonically represent any Archimedean lattice-ordered group $G$ with a strong unit…

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…