Avi, G. B., & Francez, N. (2005). Proof-theoretic semantics for a syllogistic fragment. Proceedings of the Amsterdam Colloquium, 9-14. https://doi.org/10.53437/c5ykn874