On the logic that preserves degrees of truth associated to involutive Stone algebras. - Liliana M. Cantú; Martín Figallo (Log. J. IGPL, 2020)

Cut-free sequent-style systems for a logic associated to involutive Stone algebras. - Liliana M. Cantú; Martín Figallo (J. Log. Comput., 2023)