top of page
Submitted papers

  • Normalization and cut-elimination theorems for some logics of evidence and truth. (with M. Coniglio and A. Rodrigues). 

  • On n-valued Post algebras and n-valued Post logics: Twist-style representation and proof theory. (with M. Coniglio). 

  • Tense distributive lattices: algebra, logic and topology. (with A.V. Figallo and J. Sarmiento). 

Refereed papers

  1. 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.

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

  10.  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.

  11. 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.

  12. 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

  13. 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. 

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

  15. 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.

  16. 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.

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

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

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

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

  21. 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.

Pre-prints

  • A Formal Framework for Hypersequent Calculi and their Fibring (with M.E. Coniglio).  CLE e-Prints, Vol. 10(7), 2010. Paper format (ISSN 1519-9614), Electronic format (ISSN 1519-9681).
    http://www.cle.unicamp.br/e-prints/articles-2010.html

  • On the relationship between tetravalent modal algebras, symmetric Boolean algebras and modal algebras for S5 (with M.E. Coniglio). CLE e-Prints, Vol.13(3), 2013. Paper format (ISSN 1519-9614), Electronic format (ISSN 1519-9681).
    http://www.cle.unicamp.br/e-prints/articles.html

bottom of page