Login / Signup
G. T. Gomez-Pereira
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Dl Lite
Quantifier Elimination
Probabilistic Reasoning
Decision Procedures
Top Venues
Rev. Symb. Log.
</>
Publications
</>
Marcelo E. Coniglio
,
G. T. Gomez-Pereira
,
Martín Figallo
Some Model-Theoretic Results on the 3-Valued Paraconsistent First-order Logic Qciore.
Rev. Symb. Log.
14 (1) (2021)