Changes

m
whitespace + horizontal line
Line 1: Line 1:  
<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]]''.
12,080

edits