Verónica Borja Macías

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 9

Top Topics

Proof Procedures

Top Venues

Logica Universalis

LANMR (Selected Papers)

Publications

Verónica Borja Macías, Marcelo E. Coniglio, Alejandro Hernández-Tello
Genuine paracomplete logics. Log. J. IGPL 31 (5) (2023)
Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías
Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$. Logica Universalis 15 (1) (2021)
Miguel Pérez-Gaspar, Verónica Borja Macías, Everardo Bárcenas
On the Paraconsistent Logic CG′3. Computación y Sistemas 25 (2) (2021)
Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case. LANMR (Selected Papers) (2019)
Alejandro Hernández-Tello, Verónica Borja Macías, Marcelo E. Coniglio
. LANMR (2019)
Verónica Borja Macías, Alejandro Hernández-Tello
Implication and biconditional in some three-valued logics. LANMR (2018)
Verónica Borja Macías, Miguel Pérez-Gaspar
. LANMR (2016)
Mauricio Javier Osorio Galindo, Verónica Borja Macías, José R. Arrazola Ramírez
Revisiting da Costa logic. J. Appl. Log. 16 (2016)
Verónica Borja Macías, Miguel Pérez-Gaspar
Kripke-type Semantics for. Electron. Notes Theor. Comput. Sci. 328 (2016)
Verónica Borja Macías, Pilar Pozos Parra
Implementing PS-Merge Operator. MICAI (2009)
Maria del Pilar Pozos Parra, Verónica Borja Macías
Belief Merging without Distance Measures. RCRA (2008)
José Arrazola, Eduardo Ariza, Verónica Borja Macías
The Pac Logic in the properties of C(w) and C(min). LA-NMR (2008)
Verónica Borja Macías, Pilar Pozos Parra
Model-based belief merging without distance measures. AAMAS (2007)
Pilar Pozos Parra, Verónica Borja Macías
Partial Satisfiability-Based Merging. MICAI (2007)
Pilar Pozos Parra, Verónica Borja Macías
Belief Merging using Partial Satisfactibility: cases studies. LoLaCOM (2006)
Mauricio Osorio, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
Logics with Common Weak Completions. J. Log. Comput. 16 (6) (2006)
Mauricio Javier Osorio Galindo, Juan Antonio Navarro Pérez, José R. Arrazola Ramírez, Verónica Borja Macías
Ground Nonmonotonic Modal Logic S5: New Results. J. Log. Comput. 15 (5) (2005)
Mauricio Osorio, Verónica Borja Macías, José Arrazola
Closing the Gap between the Stable Semantics and Extensions of WFS. MICAI (2004)
Mauricio Osorio, Verónica Borja Macías, José Arrazola
Three Valued Logic of Lukasiewicz for Modeling Semantics of Logic Programs. IBERAMIA (2004)