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