IIF 26912
INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Metainferential Logics
Autor/es:
PAILOS, FEDERICO MATÍAS
Lugar:
Tubinga
Reunión:
Seminario; Oberseminar Logik und Sprachtheorie; 2020
Institución organizadora:
Universidad de Tubinga, Alemania
Resumen:
In this talk I introduce the notion of metainferential logic, mixed metainferential logic, and different families of local mixed metainferential logics. Afterwards, I will sketch possibles ways to extend this project: proof systems for these logics, global and absolutely global (hierarchies of) mixed metainferential logics, etc.
