Repository | Book | Chapter
(2006) Conceptual structures: inspiration and application, Dordrecht, Springer.
It is well-known that Peirce's Alpha graphs correspond to propositional logic (PL). Nonetheless, Peirce's calculus for Alpha graphs differs to a large extent to the common calculi for PL. In this paper, some aspects of Peirce's calculus are exploited. First of all, it is shown that the erasure-rule of Peirce's calculus, which is the only rule which does not enjoy the finite choice property, is admissible. Then it is shown that this calculus is faster than the common cut-free calculi for propositional logic by providing formal derivations with polynomial lengths of Statman's formulas. Finally a natural generalization of Peirce's calculus (including the erasure-rule) is provided such that we can find proofs linear in the number of propositional variables used in the formular, depending on the number of propositional variables in the formula.
Publication details
DOI: 10.1007/11787181_13
Full citation:
Dau, F. (2006)., Some notes on proofs with alpha graphs, in P. Hitzler & P. Øhrstrøm (eds.), Conceptual structures: inspiration and application, Dordrecht, Springer, pp. 172-188.
This document is unfortunately not available for download at the moment.