INVESTIGADORES
DA RE Bruno
congresos y reuniones científicas
Título:
Non-reflexive nonsense
Autor/es:
BRUNO DA RE; DAMIAN SZMUC
Reunión:
Workshop; Segundo Workshop IIF-UNAM ? BA-Logic de L ́ogica Filos ́ofica; 2022
Resumen:
Our aim is to offer a substructural sequent calculus for the paracomplete logic B3, showing soundness and completeness. In doing so, we will mention some interesting notes about this calculusand the techniques employed.
