Avi, G. B., & Francez, N. (2005). Proof-theoretic semantics for a syllogistic fragment. Proceedings of the Amsterdam Colloquium, 9-14. https://platform.openjournals.nl/PAC/article/view/22958