Changes

Trying to help printing format (2)
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''.<br clear="all">
+
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==