Record in the Commens Bibliography. Retrieved from http://www.commens.org/bibliography/journal_article/white-richard-b-2006-simple-automation-peircean-decision-procedure, 21.03.2023.
Title:
A Simple Automation of a Peircean Decision Procedure
Journal:
Transactions of the Charles S. Peirce Society
Keywords:
Alpha Graph, Decision Procedure, Existential Graph, LISP
Abstract:
The article describes a simple decision procedure for the graphical sentential logic of philosopher C. S. Pierce, the system of alpha graphs. The decision procedure is then implemented by a LISP program CSProve. The article also offers examples of CSProve as it ran on a desktop computer and indicates how the program is easily adapted to parallel processing.