@article{oai:nuis.repo.nii.ac.jp:00002540,
 author = {Ishii, Tadao and Ishii, Tadao},
 journal = {新潟国際情報大学情報文化学部紀要},
 month = {Jun},
 note = {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.},
 pages = {103--120},
 title = {A formal theory of the calculus of indication},
 volume = {9},
 year = {2006},
 yomi = {イシイ, タダオ}
}