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 |