A Simple Automation of a Peircean Decision Procedure.

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 indicate...

Full description

Bibliographic Details
Published in:	Transactions of the Charles S. Peirce Society Vol. 42; no. 1; pp. 117 - 132
Main Author:	White, Richard B.
Format:	Article
Published:	Indiana University Press Winter2006
Subjects:	Logic Pierce, C. S. Sequential analysis LISP (Computer program language) Parallel processing
Online Access:	View this record in EBSCOhost

Description
Summary:	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.