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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=21940461&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 21940461 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00091774 2HR jtl: Transactions of the Charles S. Peirce Society issn: 00091774 maglogo: N pubinfo: dt: Winter2006 vid: 42 iid: 1 pid: 211 pub: Indiana University Press artinfo: ui: 21940461 10.1353/csp.2006.0016 ppf: 117 ppct: 15 formats: fmt: @attributes: type: P size: 791KB tig: atl: A Simple Automation of a Peircean Decision Procedure. aug: au: White, Richard B. affil: Centre College su: Logic Pierce, C. S. Sequential analysis LISP (Computer program language) Parallel processing sug: subj: Logic Pierce, C. S. Sequential analysis LISP (Computer program language) Parallel processing ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y custom: Copyright of Transactions of the Charles S. Peirce Society is the property of Indiana University Press and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. item: Transactions of the Charles S. Peirce Society holder: Indiana University Press dt: @attributes: year: 2006 holdings: @attributes: islocal: N |
|---|