|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 1 van 1 gevonden artikelen
| Titel: |
Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property |
| Auteur: |
Alves, Gleifer V. de Oliveira, Anjolina G. de Queiroz, Ruy |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 106 (2011) nr. 2-4 pagina's 119-147 |
| Jaar: |
2011-09-19 |
| Inhoud: |
A normalization procedure is presented for a classical natural deduction (ND) proof system. This proof system, called N-Graphs, has a multiple conclusion proof structure, where cycles are allowed. With this, we have developed a thorough treatment of cycles, including cycles normalization via an algorithm. We also demonstrate the usefulness of the graphical framework of N-Graphs, where derivations are seen as digraphs. We use geometric perspective techniques to establish the normalization mechanism, thus giving a direct normalization proof. Moreover, the subformula and separation properties are determined. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 1 van 1 gevonden artikelen