Implicational Existential Graphs
摘要
We present a diagrammatic logical system, inspired by and very similar to C.S. Peirce’s existential graphs Alpha, which corresponds to non-classical implicational propositional calculus and can be extended to various related logics.