The pursuit of an implication for the logics L3A and L3B A Hernández-Tello, J Arrazola Ramírez, M Osorio Galindo
Logica Universalis 11, 507-524, 2017
14 2017 Paracomplete logics dual to the genuine paraconsistent logics: The three-valued case A Hernández-Tello, VB Macías, ME Coniglio
Electronic Notes in Theoretical Computer Science 354, 61-74, 2020
6 2020 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 Genuine paracomplete logics V Borja Macías, ME Coniglio, A Hernández-Tello
Logic Journal of the IGPL 31 (5), 961-987, 2023
2 2023 Paracomplete logics which are dual to the paraconsistent logics L3A and L3B A Hernández-Tello, V Borja-Macı́as, ME Coniglio
1 2020 Genuine paracomplete logics VB Macías, ME Coniglio, A Hernández-Tello
2023 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 An axiomatization of the paracomplete logic L3AD VB Macıas, A Hernández-Tello, D Hernández-Grijalva
2020 Methodology to represent functions in logic BL⊃ M Osorio, D Hernández-Grijalva, A Hernández-Tello
2020 Implication and Biconditional in some Three-valued Logics VB Macıas, A Hernández-Tello
2018