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

Descripción completa

Detalles Bibliográficos
Publicado en:	Transactions of the Charles S. Peirce Society Vol. 42; no. 1; pp. 117 - 132
Autor principal:	White, Richard B.
Formato:	Artículo
Publicado:	Indiana University Press Winter2006
Materias:	Logic Pierce, C. S. Sequential analysis LISP (Computer program language) Parallel processing
Acceso en línea:	Ver este registro en EBSCOhost

Descripción
Sumario:	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.