Martín Figallo

18 papers Journal 18
YearRankTypeTitle / Venue / Authors
2025 J jnl
Cut-elimination theorems for some logics associated with double Stone algebras.
Int. J. Approx. Reason.
Martín Figallo, Juan Sebastián Slagter
2025 J jnl
Normalization and cut-elimination theorems for some logics of evidence and truth.
J. Log. Comput.
Marcelo E. Coniglio, Martín Figallo, Abilio Rodrigues
2025 J jnl
On a Four-Valued Logic of Formal Inconsistency and Formal Undeterminedness.
Stud Logica
Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo
2025 J jnl
On n-valued Post algebras and n-valued Post logics: Twist-style representation and proof theory.
Fuzzy Sets Syst.
Marcelo E. Coniglio, Martín Figallo
2025 J jnl
Proof-Theoretic Aspects of Paraconsistency with Strong Consistency Operator.
Stud Logica
Victoria Arce Pistone, Martín Figallo
2024 J jnl
A Logic for Paraconsistent Belief Revision based on Epistemic Entrenchment.
CoRR
Marcelo E. Coniglio, Martín Figallo, Rafael R. Testa
2023 J jnl
Cut-free sequent-style systems for a logic associated to involutive Stone algebras.
J. Log. Comput.
Liliana M. Cantú, Martín Figallo
2023 J jnl
Super-Łukasiewicz logics expanded by Δ.
Fuzzy Sets Syst.
Aldo V. Figallo, Aldo Figallo Orellano, Martín Figallo
2023 J jnl
The Subalgebra Lattice of A Finite Diagonal-Free Two-Dimensional Cylindric Algebra.
Computación y Sistemas (CyS)
Martín Figallo, Claudia M. Gomes
2022 J jnl
Correction to: Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic.
Stud Logica
Martín Figallo
2021 J jnl
Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic.
Stud Logica
Martín Figallo
2021 J jnl
Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore.
Rev. Symb. Log.
Marcelo E. Coniglio, G. T. Gomez-Pereira, Martín Figallo
2020 J jnl
On the logic that preserves degrees of truth associated to involutive Stone algebras.
Log. J. IGPL
Liliana M. Cantú, Martín Figallo
2017 J jnl
Symmetric operators on modal pseudocomplemented De Morgan algebras.
Log. J. IGPL
Aldo Figallo Orellano, Alicia Ziliani, Martín Figallo
2014 J jnl
Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras.
Stud Logica
Marcelo E. Coniglio, Martín Figallo
2013 J jnl
An Algebraic Construction of Moisil Operators in (
J. Multiple Valued Log. Soft Comput.
Aldo V. Figallo, Martín Figallo
2011 J jnl
Some results on diagonal-free two-dimensional cylindric algebras.
Reports Math. Log.
Martín Figallo
2004 J jnl
Finite Diagonal-free Two-dimensional Cylindric Algebras.
Log. J. IGPL
Martín Figallo