@misc{indiciaeb7bd92c5304e,
  title = {Proof Theory of Riesz Spaces and Modal Riesz Spaces},
  author = {Christophe Lucas and Matteo Mio},
  year = {2022},
  doi = {10.46298/lmcs-18(1:32)2022},
  url = {https://arxiv.org/abs/2004.11185},
  note = {Source identifier: 2004.11185}
}