INVESTIGADORES
ROFFÉ Ariel Jonathan
congresos y reuniones científicas
Título:
Metainferential Tableaux in the Many-valued Setting
Autor/es:
AYLÉN MELISA BAVOSA CASTRO; AGUSTINA BORZI; BRUNO DA RÉ; ARIEL JONATHAN ROFFÉ (Y OTROS)
Reunión:
Workshop; 15th Latin American Workshop on New Methods of Reasoning LANMR 2023; 2023
Institución organizadora:
UNAM
Resumen:
The aim of this talk is to provide a general recipe to build tableaux for metainferential logics based on tableaux for inferential logics.
