Charles Peirce’s alpha system \ 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 \ is given in terms of two embedding theorems: the system \ and Brünnler’s deep inference system for classical propositional logic can be embedded into each other; and the system \ and Gentzen sequent calculus \ can be embedded into each other.

Following the guiding thread of Peirce’s use of diagrammatic syntax in his system of existential graphs , which depends crucially on the role of the Sheet of Assertion, we introduce the notion of Sheet of Indication as the basis for a general diagrammatic semantics applicable to a wide range of diagrams. We then show how Peirce’s EG-alpha graphs may be understood as instances of SIs and how logically coherent models of the graphs are represented in the SI semantics.

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic ). The straightforward construction of a presheaf category \ of cuts-only Existential Graphs provides a basis for the further construction of the category \ which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the (...) formal investigation of relations between syntax and semantics in such diagrammatic systems. (shrink)

We present a category-theoretical analysis, based on the concept of generic figures, of a diagrammatic system for propositional logic ). The straightforward construction of a presheaf category \ of cuts-only Existential Graphs provides a basis for the further construction of the category \ which introduces variables in a reconstructedly generic, or label-free, mode. Morphisms in these categories represent syntactical embeddings or, equivalently but dually, extensions. Through the example of Peirce’s system, it is shown how the generic figures approach facilitates the (...) formal investigation of relations between syntax and semantics in such diagrammatic systems. (shrink)