LISP
Keyword: LISP
|
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...
|