List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An axiomatization of the paracomplete logic \(L3A_{\to 1}^D\) | 2025-07-11 | Paper |
| Genuine paracomplete logics Logic Journal of the IGPL | 2024-02-20 | Paper |
| Paracomplete logics dual to the genuine paraconsistent logics: the three-valued case | 2022-04-29 | Paper |
| Axiomatisations of the genuine three-valued paraconsistent logics \(\mathbf{L3A}_{\mathbf{G}}\) and \(\mathbf{L3B}_{\mathbf{G}}\) Logica Universalis | 2021-05-05 | Paper |
| Kripke-type semantics for \(\mathrm{CG}_3'\) | 2018-04-23 | Paper |
| Revisiting da Costa logic Journal of Applied Logic | 2016-06-30 | Paper |
| Logics with Common Weak Completions Journal Of Logic And Computation | 2007-04-13 | Paper |
| Ground Nonmonotonic Modal Logic S5: New Results Journal Of Logic And Computation | 2006-03-09 | Paper |
Research outcomes over time
This page was built for person: Verónica Borja Macías
