27 citations · 86 across the 17 of their papers we have counts for
5 papers · 2 filters
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…
The problem of artificial precision in theories of vagueness: a note on the role of maximal consistency
Vincenzo Marra
The problem of artificial precision is a major objection to any theory of vagueness based on real numbers as degrees of truth. Suppose you are willing to admit that, under sufficie…
The Chinese Remainder Theorem for strongly semisimple MV-algebras and lattice-groups
Vincenzo Marra
An MV-algebra (equivalently, a lattice-ordered Abelian group with a distinguished order unit) is strongly semisimple if all of its quotients modulo finitely generated congruences a…
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…
Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality
Mai Gehrke, Samuel J. van Gool, Vincenzo Marra
We study representations of MV-algebras -- equivalently, unital lattice-ordered abelian groups -- through the lens of Stone-Priestley duality, using canonical extensions as an esse…