Consistency Implies Cut Admissibility
Résumé
For any finite and consistent first-order theory, we can find a presentation as a rewriting system that enjoys cut admissibility.
Domaines
Logique en informatique [cs.LO]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...