Avi, G. B.; Francez, N. Proof-Theoretic Semantics for a Syllogistic Fragment. Proceedings of the AC 2005, 9-14.