Avi GB, Francez N. Proof-theoretic semantics for a syllogistic fragment. Proceedings of the AC [Internet]. 2005 Dec. 1 [cited 2026 Jan. 10];:9-14. Available from: https://platform.openjournals.nl/PAC/article/view/22958