most citedProof Theory of Riesz Spaces and Modal Riesz Spaces

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

collaborators

1 paper

cs.LO2020★ 1 cited

Proof Theory of Riesz Spaces and Modal Riesz Spaces

Christophe Lucas, Matteo Mio

We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cut elimination. These…