Deep Inference and Its Normal Form of Derivations

Abstract. We see a notion of normal derivation for the calculus of structures, which is based on a factorisation of derivations and which is more general than the traditional notion of cut-free proof in this formalism.

• Type: Conference
• Year: 2006
• Where: CIE
• Authors: Kai Brünnler
• Keywords: Applied Computing, CIE 2006, Cut-free Proof, Normal Derivation, Traditional Notion