We found a match
Your institution may have access to this item. Find your institution then sign in to continue.
- Title
PROOF THEORY OF RIESZ SPACES AND MODAL RIESZ SPACES.
- Authors
LUCAS, CHRISTOPHE; MIO, MATTEO
- Abstract
We design hypersequent calculus proof systems for the theories of Riesz spaces and modal Riesz spaces and prove the key theorems: soundness, completeness and cutelimination. These are then used to obtain completely syntactic proofs of some interesting results concerning the two theories. Most notably, we prove a novel result: the theory of modal Riesz spaces is decidable. This work has applications in the field of logics of probabilistic programs since modal Riesz spaces provide the algebraic semantics of the Riesz modal logic underlying the probabilistic μcalculus.
- Subjects
RIESZ spaces; PROOF theory; ALGEBRAIC spaces; MODAL logic; SYSTEMS theory; COMPLETENESS theorem; CALCULUS
- Publication
Logical Methods in Computer Science (LMCS), 2022, Vol 18, Issue 1, p1
- ISSN
1860-5974
- Publication type
Article
- DOI
10.46298/LMCS-18(1:32)2022