12,080
edits
Changes
Directory:Jon Awbrey/Papers/Propositional Equation Reasoning Systems (view source)
Revision as of 17:08, 20 May 2007
, 17:08, 20 May 2007whitespace + horizontal line
<font size=4>'''Propositional Equation Reasoning Systems'''</font>
<font size=4>'''Propositional Equation Reasoning Systems'''</font>
<br>
----
This article develops elementary facts about the formal calculi that we describe as '''propositional equation reasoning systems''' ('''PERS'''). This work follows up 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 the formal calculi that we describe as '''propositional equation reasoning systems''' ('''PERS'''). This work follows up 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]]''.