RECONSTRUCTION OF BROWN,G.,SPENCER THEME
In this paper we reexamine G. Spencer Brown's theme. First, the Primary Algebra is redefined as a formal system and its soundness and completeness are proved. Next, the statement ''Primary Algebra is equivalent to the propositional calculus'', introduced in [Schwartz, 1981], is proven in our framework. Some technical results are shown in formal way.
primary algebra formal systems soundness completeness propositional calculus g-spencer-brown