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

2 papers · 1 filter

math.LO2023

The Intermediate Logic of Convex Polyhedra

Sam Adam-Day, Nick Bezhanishvili, David Gabelaia +1

We investigate a recent semantics for intermediate (and modal) logics in terms of polyhedra. The main result is a finite axiomatisation of the intermediate logic of the class of al…

math.RA2023

Separable MV-algebras and lattice-groups

Vincenzo Marra, Matías Menni

General theory determines the notion of separable MV-algebra (equivalently, of separable unital lattice-ordered Abelian group). We establish the following structure theorem: An MV-…