TY - RPRT TI - A diagrammatic calculus of syllogisms AU - Ruggero Pagnan PY - 2013 UR - https://arxiv.org/abs/1001.1707 ID - 1001.1707 ER -