A General View of Normalisation through Atomic Flows
Atomic flows are a geometric invariant of classical propositional proofs in deep inference. In this thesis we use atomic flows to describe new normal forms of proofs, of which the traditional normal forms are special cases, we also give several normalisation procedures for obtaining the normal forms....
| Main Author: | |
|---|---|
| Language: | ENG |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00441540 http://tel.archives-ouvertes.fr/docs/00/50/92/41/PDF/thesis.pdf |