INVESTIGADORES
DA RE Bruno
congresos y reuniones científicas
Título:
Cut-free Sequent-calculi for classical logic
Autor/es:
BRUNO DA RE; DAMIAN SZMUC
Reunión:
Workshop; 15th Latin American Workshop on New Methods of Reasoning LANMR 2023; 2023
Resumen:
The aim of this talk is to provide a method to determine, given a cut-free sequent calculus, if it is sound and complete for classical logic.
