AVI, Gilad Ben; FRANCEZ, Nissim. Proof-theoretic semantics for a syllogistic fragment. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 9–14, 2005. Disponível em: https://platform.openjournals.nl/PAC/article/view/22958.. Acesso em: 25 feb. 2026.