Martín Figallo

On a four-valued logic of formal inconsistency and formal underterminedness (with M.E. Coniglio and G. T. Gomez-Pereira). To appear in Studia Logica.

Proof-theoretic aspects of paraconsistency with strong consistency operator (with V. Arce Pistone). Stud Logica (2024). https://doi.org/10.1007/s11225-023-10089-8

Normal proofs and tableaux for the Font-Rius tetravalent modal logic (with M.E. Coniglio). Logic and Logical Philosophy​ (2024).  https://doi.org/10.12775/LLP.2024.006

Super-Łukasiewicz logics expanded by Δ (with A. V. Figallo and A. Figallo-Orellano). Fuzzy Sets and Systems (2023).   https://doi.org/10.1016/j.fss.2023.108549

The subalgebra lattice of a finite diagonal--free two--dimensional cylindric algebra (with M. Gomes). Computación y Sistemas, Vol. 27, No. 1, 2023, pp. 327–333. DOI: 10.13053/CyS-27-1-4544

Cut-free sequent-style systems for a logic associated to involutive Stone algebras (with L. Cantú). First online in Journal of Logic and Computation (2022).   https://doi.org/10.1093/logcom/exac061

Cut-free Sequent Calculus and Natural Deduction for the Tetravalent Modal Logic. Logic. Stud Logica 109, 1347–1373 (2021). https://doi.org/10.1007/s11225-021-09944-3

Some model-theoretic results on the 3-valued paraconsistent first-order logic QCiore (with M. Coniglio and T. Gomez Pereira). The Review of Symbolic Logic , Volume 14 , Issue 1 , (2021) , pp. 187 - 224. DOI: https://doi.org/10.1017/S1755020319000595

On the logic that preserves degrees of truth associated to involutive Stone algebras (with L. Cantú).  Logic Journal of the IGPL, Volume 28, Issue 5, (2020), 1000–1020. https://doi.org/10.1093/jigpal/jzy071

 Twist-structure style semantics for n-valued logics and applications (with M. Fidel, in memorian).  South American Journal of Logic, Vol. 4, n. 1, (2018) 159--183.

Symmetric operators on modal pseudocomplemented De Morgan algebras (with A. Figallo Orellano and A. Ziliani). Logic journal of the IGPL, vol. 25, n. 4, (2017) 496-511.

A Formal Framework for Hypersequent Calculi and their Fibring (with M. E. Coniglio), The Road to Universal Logic - Festschrift for 50th Birthday of Jean-Yves Bziau Volume I, Koslow, Arnold (et al.) (Eds.), ISBN 978-3-319-10193-4, (2015), 73-93.                        http://link.springer.com/chapter/10.1007/978-3-319-10193-4_4

On a four-valued modal logic with deductive implication (with M. E. Coniglio), Bulletin of the Section of Logic, vol. 43, n. 1-2,  (2014), 1-17. 

Hilbert-style Presentations of Two Logics Associated to Tetravalent Modal Algebras (with M. E. Coniglio), Studia Logica, n. 3, vol. 102 (2014, 525-539.

An algebraic construction of Moisil operators in (n + 1)-valued Lukasiewicz propositional calculus (with A. V. Figallo), Journal of Multiple-Valued Logic and Soft Computing, n. 1-2, vol. 21 (2013), 131-145.

On the Theory of Dynamic Sets (with M. Fidel), Logic without Frontiers:Festschrift for Walter Alexandre Carnielli on the occasion of his 60th Birthday. Jean-Yves Béziau and Marcelo Esteban Coniglio (eds.). Volume 17 of Tribute Series, College Publications. London, 2011, 429--441. ISBN 978-1-84890-055-4.

Some results on diagonal-free two-dimensional cylindric algebras, Reports on Mathematical Logic, n. 46  (2011), 3-15.

Lukasiewicz residuation algebras with infimum (with A.V. Figallo, A. Figallo Orellano and A. Ziliani), Demonstratio Mathematica, n. 4, vol. 40 (2007), 751-758.

Finite diagonal-free two-dimensional cylindric algebras, Logic Journal of the IGPL, vol. 12, n. 6 (2004), 509--523 .

Free (n+1)-valued Lukasiewicz BCK-algebras (with A. Figallo Orellano and A. Ziliani),  Demonstratio Mathematica, n. 2, vol. 37 (2004), 245-254.

Interaction machines and Theory Systems (with M. Fidel), Proceedings of the Sixth "Dr. Antonio A. R. Monteiro" Congress of Mathematics (Spanish) (Bahía Blanca, 2001), 129 --136, Univ. Nac. Sur, Dep. Mat. Inst. Mat., Bahía Blanca, 2001.