A formal theory of the calculus of indication
スポンサーリンク
概要
- 論文の詳細を見る
This paper deals with a term reduction representation of the calculus of indication proposed by G. Spencer-Brown's Laws of Form, which has a formalism of great simplicity for the act of distinguishing and its basic laws. I will give an equational theory based on the term reduction of indication in order to make an interpretation of this calculus more explicit way.
- 新潟国際情報大学の論文
- 2006-06-22