Avi, G.B. and Francez, N. 2005. Proof-theoretic semantics for a syllogistic fragment. Proceedings of the Amsterdam Colloquium. (Dec. 2005), 9–14.