TY  - RPRT
TI  - Proof Theory of Riesz Spaces and Modal Riesz Spaces
AU  - Christophe Lucas
AU  - Matteo Mio
PY  - 2022
DO  - 10.46298/lmcs-18(1:32)2022
UR  - https://arxiv.org/abs/2004.11185
ID  - 2004.11185
ER  -