Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. - Mauricio Osorio 001; Verónica Borja Macías; José Arrazola (IBERAMIA, 2004)

Closing the Gap between the Stable Semantics and Extensions of WFS. - Mauricio Osorio 001; Verónica Borja Macías; José Arrazola (MICAI, 2004)

Ground Nonmonotonic Modal Logic S5: New Results. - Mauricio Javier Osorio Galindo; Juan Antonio Navarro Pérez; José R. Arrazola Ramírez; Verónica Borja Macías (J. Log. Comput., 2005)

Belief Merging using Partial Satisfactibility: cases studies. - Pilar Pozos Parra; Verónica Borja Macías (LoLaCOM, 2006)

Logics with Common Weak Completions. - Mauricio Osorio 001; Juan Antonio Navarro Pérez; José R. Arrazola Ramírez; Verónica Borja Macías (J. Log. Comput., 2006)

Model-based belief merging without distance measures. - Verónica Borja Macías; Pilar Pozos Parra (AAMAS, 2007)

Partial Satisfiability-Based Merging. - Pilar Pozos Parra; Verónica Borja Macías (MICAI, 2007)

The Pac Logic in the properties of C(w) and C(min). - José Arrazola; Eduardo Ariza; Verónica Borja Macías (LA-NMR, 2008)

Belief Merging without Distance Measures. - Maria del Pilar Pozos Parra; Verónica Borja Macías (RCRA, 2008)

Implementing PS-Merge Operator. - Verónica Borja Macías; Pilar Pozos Parra (MICAI, 2009)

Kripke-type semantics for G'3 and CG'3. - Verónica Borja Macías; Miguel Pérez-Gaspar (LANMR, 2016)

Kripke-type Semantics for CG'3. - Verónica Borja Macías; Miguel Pérez-Gaspar (LANMR (Selected Papers), 2016)

Revisiting da Costa logic. - Mauricio Javier Osorio Galindo; Verónica Borja Macías; José R. Arrazola Ramírez (J. Appl. Log., 2016)

Implication and biconditional in some three-valued logics. - Verónica Borja Macías; Alejandro Hernández-Tello (LANMR, 2018)

Paracomplete logics which are dual to the paraconsistent logics L3A and L3B. - Alejandro Hernández-Tello; Verónica Borja Macías; Marcelo E. Coniglio (LANMR, 2019)

Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. - Alejandro Hernández-Tello; Verónica Borja Macías; Marcelo E. Coniglio (LANMR (Selected Papers), 2019)

On the Paraconsistent Logic CG′3. - Miguel Pérez-Gaspar; Verónica Borja Macías; Everardo Bárcenas (Computación y Sistemas, 2021)

Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $ mathbf {L3A_G}$ and $ mathbf {L3B_G}$. - Alejandro Hernández-Tello; Miguel Pérez-Gaspar; Verónica Borja Macías (Logica Universalis, 2021)

Genuine paracomplete logics. - Verónica Borja Macías; Marcelo E. Coniglio; Alejandro Hernández-Tello (Log. J. IGPL, 2023)