1. Allwein, G., Barwise, J. (eds.): Logical Reasoning with Diagrams (Studies in Logic and Computation), 1st edn. Oxford University Press, Oxford (1996)
2. Alqadah, M., Stapleton, G., Howse, J., Chapman, P.: Evaluating the impact of clutter in Euler diagrams. In: Dwyer, T., Purchase, H., Delaney, A. (eds.), Diagrammatic Representation and Inference, vol 8578 of Lecture Notes in Computer Science, pp. 108–122. Springer (2014)
3. Atkin, A.: Peirce (The Routledge Philosophers). Routledge, London (2015)
4. Barwise, J., Etchemendy, J.: Heterogeneous Logic, pp. 179–200. Oxford University Press Inc., New York (1996)
5. Barwise, J., Etchemendy, J.: Language Proof and Logic. CSLI, Stanford (1999)