2 papers
math.LO2023
On the logic that preserves degrees of truth associated to involutive Stone algebras
Liliana M. Cantú, Martín Figallo
Involutive Stone algebras (or {\bf S}--algebras) were introduced by R. Cignoli and M. Sagastume in connection to the theory of -valued Łukasiewicz--Moisil algebras. In this work…
math.LO2023
Cut-free sequent-style systems for a logic associated to involutive Stone algebras
Liliana M. Cantú, Martín Figallo
In \cite{LC, LCMF}, it was introduced a logic (called \Six ) associated to a class of algebraic structures known as {\em involutive Stone algebras}. This class of algebras, denoted…