Avi GB, Francez N. Proof-theoretic semantics for a syllogistic fragment. Proceedings of the AC. Published online December 1, 2005:9-14. Accessed January 10, 2026. https://platform.openjournals.nl/PAC/article/view/22958