Atomic Flows and Derivations

For more info about our services contact : help@bestpfe.com

Table of contents

1 Introduction 
I Derivations
2 Propositional Classical Logic 
2.1 The Functorial Calculus
2.2 The Calculus of Structures
2.3 System SKS
II Atomic Flows
3 Atomic Flows 
3.1 Paths and Cycles
3.2 Subflows
4 Atomic Flows and Derivations 
4.1 Extracting Flows from Derivations
4.2 A Normal Form of Derivation
5 Normal Forms 
III Normalisation
6 Global Reductions 
6.1 Simplifier
6.2 Isolated Subflow Removal
6.3 Path Breaker
6.4 Multiple Isolated Subflows Removal
6.4.1 Threshold Formulae
7 Local Reductions 
7.1 Soundness
7.2 Termination and Confluence
7.3 Complexity
8 Main Result 
Index 
Bibliography