INVESTIGADORES
BUSANICHE Manuela
congresos y reuniones científicas
Título:
Basic Logic: Completeness theorems
Autor/es:
BUSANICHE, MANUELA
Reunión:
Seminario; WIP Seminar- Buenos Aires; 2021
Institución organizadora:
Grupo Lógica BA
Resumen:
In this talk I will introduce the Basic Logic system, introduced by P.Hájek to model fuzzy propositional logic. We will see some completeness theorems for this logic and we will see how it fits into the framework of substructural logics.
