Jovem Pesquisador fellow
Department of Mathematics
Institute of Mathematics and Statistics
University of São Paulo (USP), Brazil
and
Principal investigator of FAPESP grant 21/04883-0
The First Brazilian Workshop on Algebraic Logic
I'm an Assistant Professor of Mathematics (licensed) at Universidad Nacional del Sur. Besides, I'm a former postdoctoral researcher at the University of Campinas with a fellow from São Paulo Research Foundation (FAPESP), Brazil. Also, I'm a former Associate Professor at the Department of Informatics and Applied Mathematics of Federal University of Rio Grande do Norte (UFRN).
E-mails: aldofigallo@gmail.com; aldofigallo@ime.usp.br; aldofigallo@dimap.ufrn.br
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.
Umberto Rivieccio and Aldo Figallo Orellano, (In)consistency operators on quasi-Nelson algebras.
Publications
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)
Some Recent Preprints and Conference Papers
A. Figallo-Orellano, Leibniz's law and paraconsistent models of ZFC, arXiv:2210.06626 [math.LO], 2022
Mauricio Osorio, Aldo Figallo Orellano and Diego Huerta, An alternative definition of stable models via Lukasiewicz logic, Fourteenth Latin American Workshop on New Methods of Reasoning (LANMR 2022). Logic / Languages, Algorithms, New Methods of Reasoning
Miguel Pérez-Gaspar, Juan Manuel Ramírez-Contreras and Aldo Figallo-Orellano. 3-valued Super- Lukasiewicz expanded by ∆ operator. CLE e-Prints, Vol. 20, No. 2 (2022).
F. Esteva, A. Figallo-Orellano, T. Flaminio and L. Godo, Some categorical equivalences for Nelson algebras with consistency operators. The 19th World Congress of the International Fuzzy Systems Association The 12th Conference of the European Society for Fuzzy Logic and Technology jointly with the AGOP, IJCRS, and FQAS conferences Bratislava, September 19-24, 2021
A. Figallo-Orellano, M. Perez-Gaspar and J. M. Ramirez-Contreras, Sentential logics based on k-cyclic modal pseudocomplemented De Morgan algebras. arXiv:2108.01566 [math.LO], 2021.
A. Figallo-Orellano and J. Slagter, Fidel-structure-valued models that verify Leibniz’s law are models of a paraconsistent Set Theory, CLE e-Prints Vol. 19 No. 2 (2020).
A. Figallo-Orellano and J. Slagter, Models for da Costa's paraconsistent set theory, WORKSHOP BRASILEIRO DE LOGICA (WBL), 1. , 2020, Evento Online. Anais. Porto Alegre: 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 LOGICA (WBL), 1. , 2020, Evento Online. Anais. Porto Alegre: Sociedade Brasileira de Computação, 2020 . p. 41-48.
Aldo Figallo Orellano, Leibniz’s law and its paraconsistent models, arXiv:2007.11958 [math.LO], 2020.
A. Figallo-Orellano and J. Slagter, An algebraic study of the first order version of some implicational fragments of the 3-valued Lukasiewicz logic, arXiv:2011.09868 [cs.LO], 2020.
A. Figallo-Orellano, M. Coniglio and A. Golzio, Swap Structures and non-deterministic algebraization of logic, Handbook of the 6th World Congress and School on Universal Logic, 2018
M.E. Coniglio, A. Figallo-Orellano and A.C. Golzio. Towards an hyperalgebraic theory of non-algebraizable logics. CLE e-Prints, vol. 16, n. 4, 2016.
Aldo Figallo Orellano, Free algebras over a poset in varieties generated by a finite number of algebras, CLE e-Prints, Vol. 9(3), 2009.