INVESTIGADORES
DA RE Bruno
congresos y reuniones científicas
Título:
Cut-free Sequent-calculi for classical logic
Autor/es:
BRUNO DA RÉ; DAMIÁN SZMUC
Reunión:
Workshop; XI Workshop on Philosophical Logic; 2022
Resumen:
The aim of this talk is to present an algorithmic method to determine, given a cut-free sequent calculus, if it is sound and complete for classical logic.
