Changes

phrasing
Line 1: Line 1:  
{{DISPLAYTITLE:Propositional Equation Reasoning Systems}}
 
{{DISPLAYTITLE:Propositional Equation Reasoning Systems}}
This article develops elementary facts about a family of formal calculi called '''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''.
    
==Formal development==
 
==Formal development==
12,080

edits