Charles Peirce’s alpha system Sα is reformulated into a deep inference system where the rules are given in terms of deep graphical structures and each rule has its symmetrical rule in the system. The proof analysis of Sα is given in terms of two embedding theorems: the system Sα and Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system Sα and Gentzen sequent calculus G3c∗can be embedded into each other.
Scopus Subject Areas
- History and Philosophy of Science
- Alpha graph
- Deep inference
- Sequent calculus