@misc{indiciae3280bbabb679,
  title = {Cut-free sequent-style systems for a logic associated to involutive Stone algebras},
  author = {Liliana M. Cantú and Martín Figallo},
  year = {2023},
  url = {https://arxiv.org/abs/2304.11621},
  note = {Source identifier: 2304.11621}
}