A logical calculus of distinctions and indications developed by G. S. Brown in a book by that title. The calculus is capable of representing self-reference and thus overcomes descriptive and theoretical limitations following Russell's theory of logical types. (Krippendorff )
