Submitted Papers

• A. Figallo-Orellano and J. Slagter, Paraconsistent models of Zermelo-Fraenkel set theory. arXiv:2210.08070 [math.LO], 2022.  (see Workshop Brasileiro de Lógica (WBL), 1. , 2020. Porto Alegre: Sociedade Brasileira de Computação, 2020 . p. 33-40.

Abstract: In this work, it will be constructed F-structures-valued models as generalization of Boolean-valued models and proved that these models that verify Leibniz’ Law validate all the set-theoretic axioms of da Costa’s Paraconsistent Set Theory type ZF. (2020))

• A. Figallo-Orellano, Leibniz's law and paraconsistent models of ZFC, arXiv:2210.06626 [math.LO], 2022.

     Publications

• Umberto Rivieccio and Aldo Figallo Orellano, (In)consistency operators on quasi-Nelson algebras. Lecture Notes in Computer Science (LNCS), volume 14672, 2024. WoLLIC 2024

• A. V. Figallo, A. Figallo-Orellano and M. Figallo, Super-Łukasiewicz logics expanded by Δ, Fuzzy Sets and Systems, Volume 465 (2023) 108549.

• Aldo Figallo-Orellano and Juan S. Slagter, A note on k-cyclic modal pseudocomplemented De Morgan algebras.  Soft Computing 27, 6961–6972 (2023) 

• Mauricio Osorio, Aldo Figallo Orellano and Diego Huerta, An alternative definition of stable models via Lukasiewicz logic, Computación y Sistemas, Vol. 27, No. 1, 2023, pp. 303–313. 

• Aldo Figallo-Orellano, Miguel Pérez-Gaspar and Everardo Bárcenas, Fidel semantics for propositional and first-order version of the logic of CG'3. Logic and Logical Philosophy, Volume 32 (2023), 141–158.

• A. Figallo-Orellano , M. Perez-Gaspar and J. M.  Ramirez-Contreras, Paraconsistent and Paracomplete logics based based on k-cyclic modal pseudocomplemented De Morgan algebras.  Studia Logica, 110, pages1291–1325 (2022)

• Aldo Figallo-Orellano and Juan S. Slagter, Monteiro’s algebraic notion of maximal consistent theory for Tarskian logics. Fuzzy Sets and Systems,  Volume 445, 2022, Pages 90-122.

• A. Figallo-Orellano and J. Slagter, An algebraic study of the first order some implicational fragments of three-valued Lukasiewicz logic, Computación y Sistemas, Vol. 26, No. 2, 2022, pp. 801–813.

• Aldo Figallo-Orellano and Juan S. Slagter, Possibility operators over n-valued Godel logic, Journal of Algebraic Hyperstructures and Logical Algebras, Volume 3, Number 2, (2022), pp. 1-15.

• M. E. Coniglio,  A. Figallo-Orellano, A. Hernandez-Tello and M. Perez-Gaspar, G’3 as the logic of modal 3-valued Heyting algebras, Journal of Applied Logic, 9(1):175-197, 2022 

• F. Esteva, A. Figallo-Orellano, T. Flaminio and L. Godo, Some categorical equivalences for Nelson algebras with consistency operators. Proceeding of the 12th Conference of the European for Fuzzy Logic and Technology (EUSFLAT), Atlantis Studies in Uncertainty Modelling, vol. 3 (2021), pp. 420-426

• F. Esteva, A. Figallo-Orellano, T. Flaminio and L. Godo, Logics of Formal Inconsistency Based on Distributive Involutive Residuated Lattices, Journal of Logic and Computation 31(5):1226–1265, 2021. 

• Mauricio Osorio, Aldo Figallo-Orellano and Miguel Pérez-Gaspar, A family of genuine and non-algebraizable C-systems, Journal of Applied Non-Classical Logics, 31:1, 56–84, 2021

• A. Figallo-Orellano and J. Slagter, Models for da Costa's paraconsistent set theory, Workshop Brasileiro de Lógica (WBL), I . Sociedade Brasileira de Computação, 2020 . p. 33-40.

• Francesc Esteva, Aldo Figallo Orellano, Tommaso Flaminio, Lluis Godo, Degree-preserving companion of Nelson logic expanded with a consistency operator, Workshop Brasileiro de Lógica (WBL), I , Sociedade Brasileira de Computação, 2020 . p. 41-48.

•  M.E. Coniglio, A. Figallo-Orellano and A.C. Golzio, First-order swap structures semantics for some logics of formal inconsistency, Journal of Logic and Computation, 30 (6), 1257-1290, 2020. 

• M. E Coniglio, A. Figallo-Orellano, A. C. Golzio, Non-deterministic algebraization of logics by swap structures, Logic Journal of the IGPL, 28:5, 1021–1059, (2020)

• A. Figallo-Orellano and I. Pascual, On monadic operators over modal pseudocomplemented De Morgan algebras and tetravalent modal algebras, Stud Logica (2019) 107: 591-611.

• M.E Coniglio and A. Figallo-Orellano, A Model-Theoretic Analysis of Fidel-Structures for mbC.  Graham Priest on Dialetheism and Paraconsistency. Outstanding Contributions to Logic, vol 18. Springer, Cham. (2019) pp 189-216.

• A. Figallo-Orellano, Martín Figallo and Alicia Ziliani, Symmetric operators on modal pseudocomplemented De Morgan algebras. Logic journal of the IGPL, 25:4, 496–511 (2017)

• A. Figallo Orellano, A topological duality for monadic MV-algebras, Soft Computing, 21,  7119–7123, (2017)

• A. Figallo Orellano, A Short Note on the Free Implication Algebra over a Poset, South American Journal of Logic, Vol. 2, n. 1, 91–100 (2016)

• A. Figallo Orellano, A preliminary study of MV-algebras with two quantifiers which commute, Studia Logica, 104: 931–956,  (2016) 

• A. Figallo Orellano and Carlos Gallardo, Free algebras over a poset in varieties of Lukasiewicz-Moisil algebras, Demonstratio Math.,3 (48), 2015, 348-356.

• Aldo Figallo Orellano, Notes on Hilbert Lattices, Int. Math. Forum, Vol. 6, 2011, no. 68, 3371 – 3379.

• A. Figallo, Jr. and Alicia Ziliani, Free algebras over a poset in varieties, Commun. Korean Math. Soc. 26(2011), 543-549.

• A. Figallo, Jr. and A. Ziliani, A note on Hilbert algebras, Southeast Asian Bull. Math., 4, 32(2008) 667-676.

• Aldo Figallo, Jr., Pure Hilbert algebras with infimum, Logic journal of the IGPL, 15, (5-6)2007, 527-533.

• A. V. Figallo, A. Figallo, Jr., M. Figallo and A. Ziliani, Lukasiewicz residuation algebras with infimum, Demonstratio Math. 4, 40 (2007), 751-758.

• A. Figallo Jr. and A. Ziliani, Remarks on Hertz algebras and implicative semilattice, Bull. Sect. Logic Univ. Lodz, 34, 1(2005), 37-42.

• A. Figallo Jr., M. Figallo and A. Ziliani, Free (n+1)-valued Lukasiewicz BCK-algebras, Demonstratio Math., 2, 37(2004), 245-254.

Doctoral Dissertation

• An algebraic and topological study in varieties of De Morgan algebras with operators, thesis' link (In Spanish)