5 papers
Tense distributive lattices: algebra, logic and topology
Aldo Victorio Figallo, Jonathan Sarmiento, Martín Figallo
Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the relationship between tense and modality. Prior's idea was to add four primitive moda…
Normal proofs and tableaux for the Font-Rius tetravalent modal logic
Marcelo Coniglio, Martín Figallo
Tetravalent modal logic (T ML) was introduced by Font and Rius in 2000; and it is an expansion of the Belnap-Dunn four{valued logic FOUR, a logical system that is well{known for th…
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…
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…
Proof-theoretic aspects of paraconsistency with strong consistency operator
Victoria Arce Pistone, Martín Figallo
In order to develop efficient tools for automated reasoning with inconsistency (theorem provers), eventually making Logics of Formal inconsistency (LFI) a more appealing formalism…