Bureaucrats, Check users, Interface administrators, Administrators (Semantic MediaWiki), Administrators, vuser
9,362
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 13:51, 27 September 2010
, 13:51, 27 September 2010Trying to help printing format
{{DISPLAYTITLE:Propositional Equation Reasoning Systems}}
{{DISPLAYTITLE:Propositional Equation Reasoning Systems}}
This article develops elementary facts about a family of formal calculi described as '''propositional equation reasoning systems''' ('''PERS'''). This work follows on the ''alpha graphs'' that [[Charles Sanders Peirce]] devised as a graphical syntax for [[propositional calculus]] and also on the ''calculus of indications'' that George Spencer Brown presented in his ''Laws of Form''.
This article develops elementary facts about a family of formal calculi described as '''propositional equation reasoning systems''' ('''PERS'''). This work follows on the ''alpha graphs'' that [[Charles Sanders Peirce]] devised as a graphical syntax for [[propositional calculus]] and also on the ''calculus of indications'' that George Spencer Brown presented in his ''Laws of Form''.<br clear="all">
==Formal development==
==Formal development==