IIF 26912
INSTITUTO DE INVESTIGACIONES FILOSOFICAS
Unidad Ejecutora - UE
congresos y reuniones científicas
Título:
Sequent calculi for metainferential logics: someapplications
Autor/es:
BRUNO DA RE; FEDERICO PAILOS
Reunión:
Seminario; WIP; 2020
Resumen:
The aim of this talk is to provide sound and complete sequent-calculi for the valid inferences and the invalid inferences of the logics ST,LP,K3 and TS, and introduce an algorithm that allows to obtain sound and complete sequent-calculi for the validities and the invalidities of any metainferential logic of any level.
