TY  - RPRT
TI  - Cut-free sequent-style systems for a logic associated to involutive Stone algebras
AU  - Liliana M. Cantú
AU  - Martín Figallo
PY  - 2023
UR  - https://arxiv.org/abs/2304.11621
ID  - 2304.11621
ER  -