activity
20172021
most citedFrom distributive l-monoids to l-groups, and back again

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing 2019Show all

2 papers · 1 filter

math.LO2019

Proof Theory for Positive Logic with Weak Negation

Marta Bílková, Almudena Colacito

Proof-theoretic methods are developed for subsystems of Johansson's logic obtained by extending the positive fragment of intuitionistic logic with weak negations. These methods are…

math.GR2019

Orders on groups, and spectral spaces of lattice-groups

Almudena Colacito, Vincenzo Marra

Extending pioneering work by Weinberg, Conrad, McCleary, and others, we provide a systematic way of relating spaces of right orders on a partially ordered group, on the one hand, a…