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...