Consistency Implies Cut AdmissibilityReport as inadecuate




Consistency Implies Cut Admissibility - Download this document for free, or read online. Document in PDF available to download.

1 CEDRIC - Centre d-Etude et De Recherche en Informatique du Cnam

Abstract : For any finite and consistent first-order theory, we can find a presentation as a rewriting system that enjoys cut admissibility.





Author: Guillaume Burel -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents