Return to Article Details Proof-theoretic semantics for a syllogistic fragment Download Download PDF