BORJA MACIAS, VERONICA
LÓGICA · Nivel 1
Non classical logic
Paraconsistency
Many-valued logic
Logic programming
Desde 2006 es Profesor-Investigador en Technological University of the Mixteca
Información*
| Nombre | VERONICA BORJA MACIAS |
|---|---|
| Área | FÍSICO-MATEMÁTICAS Y CIENCIAS DE LA TIERRA |
| Campo | LÓGICA |
| Disciplina | OTRAS ESPECIALIDADES RELATIVAS A LA LÓGICA |
| Especialidad | PARACONSISTENCIA |
| CVU | 162000 |
| Institución | |
|---|---|
| Dependencia | INSTITUTO DE FISICA Y MATEMATICAS |
| Entidad | OAXACA |
| Nivel | 1 |
| Vigencia | Inicio: 01/01/2022 |
| Fin: 31/12/2026 |
* Información del primer trimestre de 2026.
Fuente: SECIHTI.
Últimas publicaciones Scopus
- 2023
- Genuine paracomplete logics Logic Journal of the Igpl · Vol. 31 Article
- 2021
- Axiomatisations of the Genuine Three-Valued Paraconsistent Logics L3AG and L3BG Logica Universalis · Vol. 15 Article
- On the paraconsistent logic CG03 Computacion Y Sistemas · Vol. 25 Article
- 2020
- Paracomplete Logics Dual to the Genuine Paraconsistent Logics: The Three-valued Case Electronic Notes in Theoretical Computer Science · Vol. 354 Article
- Special issue: 17th LATIN AMERICAN SYMPOSIUM on MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish) Logic Journal of the Igpl · Vol. 28 Editorial