Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
422259 | Electronic Notes in Theoretical Computer Science | 2016 | 17 Pages |
Abstract
Alves presented in his PhD thesis a normalization procedure for N-Graphs, a multiple conclusion natural deduction for propositional classical logic proposed by de Oliveira in 2001, with proofs as directed graphs. Here we develop a new normalization for N-Graphs inspired by A. Carbones work in 1999, where she proposed a combinatorial model to study the evolution of proofs during the procedure of cut elimination.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
LaĆs Andrade, Ruan Carvalho, Anjolina de Oliveira, Ruy de Queiroz,