Verónica Borja Macías

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