Icon Purity - toward a Formal Theory of Icons

In this paper, we give purity-preserving conditions for iconic operators, and present a formal definition of degree of icon purity by extending an icon system to a fuzzy icon system, based upon the theory of fuzzy sets. We also show an icon system can be modeled by means of an attribute grammar.