Changes

del empty line
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 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">
 
<br clear="all">
 
==Formal development==
 
==Formal development==
12,080

edits