@article{White2006,
author = "Richard B. White",
title = "{A Simple Automation of a Peircean Decision Procedure}",
year = 2006,
journal = "Transactions of the Charles S. Peirce Society",
volume = 42,
number = "1",
pages = "117-131",
issn = "00091774",
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.}",
keywords = "Alpha Graph, Decision Procedure, Existential Graph, LISP",
language = "English",
note = "From the Commens Bibliography | \url{http://www.commens.org/bibliography/journal_article/white-richard-b-2006-simple-automation-peircean-decision-procedure}"
}
