Article in Journal | Posted 13/02/2016
White, Richard B. (2006). 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...