1 citations · 1 across the 11 of their papers we have counts for
13 papers
Tense Logic via Truth Degrees: An Algebraic Completeness Result for Kashima's Calculus
Martín Figallo, Jonathan Sarmiento, Luis Pezzini
We study the minimal tense logic from an algebraic and proof-theoretic perspective. We introduce the degree-of-truth-preserving logic associated with the class of tense Boole…
Paraconsistent Belief Revision: A Replacement-Enriched LFI for Epistemic Entrenchment
Marcelo E. Coniglio, Martin Figallo, Rafael R. Testa
We further develop the formal foundations of Paraconsistent Belief Revision (PBR) by introducing Logics of Formal Inconsistency (LFIs) specifically designed to support the developm…
Normalization and cut-elimination theorems for some logics of evidence and truth
Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues
In this paper, we investigate proof-theoretic aspects of the logics of evidence and truth LETJ and LETF. These logics extend, respectively, Nelson's logic N and the logic of first-…
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…
On a four-valued logic of formal inconsistency and formal underterminedness
Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo
Belnap-Dunn's relevance logic, BD, was designed seeking a suitable logical device for dealing with multiple information sources which sometimes may provide inconsistent and/or inco…
Super-Łukasiewicz logics expanded by
Aldo V. Figallo, Aldo Figallo-Orellano, Martín Figallo
Baaz's operator was introduced (by Baaz) in order to extend Gödel logics, after that this operator was used to expand fuzzy logics by Hájek in his celebrated book. These logics…
Cut--free sequent calculus and natural deduction for the tetravalent modal logic
Martín Figallo
The {\em tetravalent modal logic} () is one of the two logics defined by Font and Rius (\cite{FR2}) (the other is the {\em normal tetravalent modal logic} )…
Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore
Marcelo E. Coniglio, Tadeo G. Gomez, Martin Figallo
In this paper the 3-valued paraconsistent first-order logic QCiore is studied from the point of view of Model Theory. The semantics for QCiore is given by partial structures, which…
Free algebras in varieties of Hilbert algebras with supremum generated by finite chains
Aldo V. Figallo, Elda Pick, Susana Saad +1
Hilbert algebras with supremum, i.e., Hilbert algebras where the associated order is a join-semilattice were first considered by A.V. Figallo, G. Ramon and S. Saad in [11], and ind…