| Kripke-type Semantics for CG3′ VB Macías, M Pérez-Gaspar Electronic Notes in Theoretical Computer Science 328, 17-29, 2016 | 9 | 2016 |
| Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras A Figallo-Orellano, M Peréz-Gaspar, JM Ramírez-Contreras Studia Logica 110 (5), 1291-1325, 2022 | 6 | 2022 |
| A family of genuine and non-algebraisable C-systems M Osorio, A Figallo-Orellano, M Pérez-Gaspar Journal of Applied Non-Classical Logics 31 (1), 56-84, 2021 | 6 | 2021 |
| G'3 as the logic of modal 3-valued Heyting algebras ME Coniglio, A Figallo-Orellano, A Hernández-Tello, M Perez-Gaspar | 5 | 2022 |
| An axiomatic approach to CG′3 logic M Pérez-Gaspar, A Hernández-Tello, J Arrazola Ramírez, ... Logic Journal of the IGPL 28 (6), 1218-1232, 2020 | 4 | 2020 |
| Fidel Semantics for Propositional and First-Order Version of the Logic of CG’3 AF Orellano, M Pérez-Gaspar, E Bárcenas Logic and Logical Philosophy 32 (1), 141-158, 2023 | 1 | 2023 |
| Completeness for the paraconsistent logic CG'3 based on maximal theories. M Pérez-Gaspar, E Bárcenas LANMR, 119-130, 2019 | 1 | 2019 |
| Kripke-type semantics for G'3 and CG'3. VB Macías, M Pérez-Gaspar LANMR, 1-8, 2016 | 1 | 2016 |
| A fuzzy description logic based IoT framework: Formal verification and end user programming M Pérez-Gaspar, J Gomez, E Bárcenas, F Garcia Plos one 19 (3), e0296655, 2024 | | 2024 |
| Thematic Section (2): Logic/Languages, Algorithms, Novel Methods of Reasoning E Bárcenas, LC González Huesca, FE Miranda-Perea, M Pérez-Gaspar Computación y Sistemas 27 (1), 2023 | | 2023 |
| 3-valued Super-Lukasiewicz expanded by∆ operator M Peréz-Gaspar, JM Ramírez-Contreras, A Figallo-Orellano CLE e-Prints 20 (2), 22-22, 2022 | | 2022 |
| and E. Bárcenas Fidel Semantics for Propositional and First-Order Version of the Logic of CG′ A Figallo-Orellano, M Pérez-Gaspar | | 2022 |
| Lógica difusa y redes inalámbricas M Pérez Gaspar, J Gómez Castellanos, E Bárcenas Patiño, ... https://doi. org/10.22201/dgtic. 26832968e. 2022.5, 2022 | | 2022 |
| On the Algebrization of the Multi-valued Logics CG′ 3 and G′ 3 M Pérez-Gaspar, E Bárcenas Computación y Sistemas 25 (4), 751-759, 2021 | | 2021 |
| Sentential logics based on k-cyclic modal pseudocomplemented De Morgan algebras A Figallo-Orellano, M Perez-Gaspar, JM Ramirez-Contreras arXiv preprint arXiv:2108.01566, 2021 | | 2021 |
| On the Paraconsistent Logic CG'3 M Pérez-Gaspar, V Borja Macias, E Bárcenas Computación y Sistemas 25 (2), 435-445, 2021 | | 2021 |
| Axiomatisations of the Genuine Three-Valued Paraconsistent Logics and A Hernández-Tello, M Pérez-Gaspar, V Borja Macías Logica Universalis 15 (1), 87-121, 2021 | | 2021 |
| Sobre la algebrización de la lógica paraconsiente CG 3 MP Gaspar, E Bárcenas Research in Computing Science 149, 169-178, 2020 | | 2020 |
| Completeness for the paraconsistent logic CG M Pérez-Gaspar, E Bárcenas | | 2019 |
| Kripke-type Semantics for CG (3)' V Borja Macias, M Perez-Gaspar Electronic Notes in Theoretical Computer Science 328, 17-29, 2016 | | 2016 |
Aldo Figallo OrellanoYoung Investigator Fellowship, University of São PauloVerified email at uns.edu.ar
