Proofs of valid categorical syllogisms in one diagrammatic and two symbolic axiomatic systems. - Antonielly Garcia Rodrigues; Eduardo Mario Dias (CoRR, 2023)