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...
| Publicado en: | Transactions of the Charles S. Peirce Society Vol. 42; no. 1; pp. 117 - 132 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Indiana University Press
Winter2006
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |