RECONSTRUCTION OF BROWN,G.,SPENCER THEME

Authors
SHIMOGAWA T TAKAHARA Y
Citation
T. Shimogawa et Y. Takahara, RECONSTRUCTION OF BROWN,G.,SPENCER THEME, International journal of general systems, 23(1), 1994, pp. 1-21
Citations number
11
Categorie Soggetti
Ergonomics,"System Science","Computer Science Theory & Methods",Ergonomics
Journal title
International journal of general systems → ACNP
ISSN journal
03081079
Volume
23
Issue
1
Year of publication
1994
Pages
1 - 21
Database
ISI
SICI code
0308-1079(1994)23:1<1:ROBT>2.0.ZU;2-1
Abstract
In this paper we reexamine G. Spencer Brown's theme. First, the Primar y Algebra is redefined as a formal system and its soundness and comple teness are proved. Next, the statement ''Primary Algebra is equivalent to the propositional calculus'', introduced in [Schwartz, 1981], is p roven in our framework. Some technical results are shown in formal way .