Gottschall, C. (2006): Peirce Alpha Graph Proof Builder (Software)

    Abstract:

    The Proof Builder is a program for interactively constructing proofs. It is available in four (or five) versions, each implementing a popular and/or interesting calculus. Development of the Peirce Alpha Graph Proof Builder has been funded by the Institute of Philosophy of the University of Vienna.

    BibTex