Vincenzo Marra

The Lebesgue state of a unital abelian lattice-ordered group

Vincenzo Marra, Daniele Mundici · Journal of Group Theory · 2007 · 40 citations

Lattice (Order), Lebesgue State, Ordered Group +6

The Dual Adjunction between MV-algebras and Tychonoff Spaces

Vincenzo Marra, Luca Spada · Studia Logica · 2012 · 39 citations

Higher Category Theory, Universal Algebra, Dual Adjunction +1

Computing coproducts of finitely presented Gödel algebras

Ottavio M. D’Antona, Vincenzo Marra · Annals of Pure and Applied Logic · 2006 · 38 citations

Abstract Algebra, Automated Reasoning, Algebraic Combinatorics +2

Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras

Vincenzo Marra, Luca Spada · Annals of Pure and Applied Logic · 2012 · 33 citations

Automated Reasoning, Algebraic Logic, Algebraic Semantics +1

De Finetti’s No-Dutch-Book Criterion for Gödel logic

Stefano Aguzzoli, Brunella Gerla, Vincenzo Marra · Studia Logica · 2008 · 29 citations

Non-classical Logic, Automated Reasoning, Classical Logic +2