INVESTIGADORES
DA RE Bruno
congresos y reuniones científicas
Título:
Tableaux for metainferences
Autor/es:
AYLEN BAVOSA CASTRO; AGUSTINA BORZI; BRUNO DA RE; ARIEL ROFFÉ; JOAQUIN TORANZO
Reunión:
Seminario; WIP; 2023
Resumen:
The aim of this talk is to provide a general recipe to build tableaux for metainferential logics based on tableaux for inferential logics.
