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