Dra. Veronica Borja

Borja Macías, V., Coniglio, M. E., & Hernández-Tello, A. (2023). Genuine para complete logics. Logic Journal of the IGPL, 31(5), 961-987. https://doi.org/10.1093/jigpal/jzac060
Barragán, F., Borja, V., Reyes-Mora, S. (Coordinadores) (2021). Modelación Matemática IV. Biomatemáticas, Epidemiología e Ingeniería. Huajuapan de León, México, Universidad Tecnológica de la Mixteca. ISBN 978-607-98020-8-0
Hernández-Tello, A., Pérez-Gaspar, M., & Borja Macías, V. (2021). Axiomatisations of the Genuine Three-Valued Paraconsistent Logics L 3 AG and L 3 BG. Logica Universalis, 15(1), 87-121. https://doi.org/10.1007/s11787-021-00269-2

Pérez-Gaspar, M., Borja Macias, V., & Bárcenas, E. (2021). On the Paraconsistent Logic CG'3. Computación y Sistemas, 25(2), 435-445. https://doi.org/10.13053/cys-25-2-3363
Borja-Macıas, V., Hernández-Tello, A., & Hernández-Grijalva, D. (2020). An axiomatization of the paracomplete logic L3AD. CEUR-WS.org, 18 (5), 57-70. https://ceur-ws.org/Vol-2818/paper05.pdf
Hernández-Tello, A., Macías, V. B., & Coniglio, M. E. (2020). Paracomplete logics dual to the genuine paraconsistent logics: The three-valued case. Electronic Notes in Theoretical Computer Science, 354, 61-74. https://doi.org/10.1016/j.entcs.2020.10.006