Avi, G. B.; Francez, N. Proof-Theoretic Semantics for a Syllogistic Fragment. Proceedings of the AC 2005, 9-14. https://doi.org/10.53437/c5ykn874.