Avi, G.B. and Francez, N. (2005) “Proof-theoretic semantics for a syllogistic fragment”, Proceedings of the Amsterdam Colloquium, pp. 9–14. Available at: https://platform.openjournals.nl/PAC/article/view/22958 (Accessed: 10 January 2026).