1. Allwein, G., Barwise, J.: Logical Reasoning with Diagrams. Oxford University Press, London (1996)
2. Armstrong, D.: A Theory of Universals. Cambridge University Press, Cambridge (1978)
3. Barwise, J., Hammer, E.: Diagrams and the concept of a logical system. In: [1]
4. Brink, C., et al.: Peirce algebras. Form. Asp. Comput. 6(3), 339–358 (1994)
5. Lecture Notes in Computer Science;F. Dau,2008