2009 | OriginalPaper | Chapter
Transformations via Geometric Perspective Techniques Augmented with Cycles Normalization
Authors: Gleifer V. Alves, Anjolina G. de Oliveira, Ruy de Queiroz
Publisher: Springer Berlin Heidelberg
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.
