A Diagrammatic Calculus of Syllogisms
- First Online:
- Cite this article as:
- Pagnan, R. J of Log Lang and Inf (2012) 21: 347. doi:10.1007/s10849-011-9156-7
- 126 Views
A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.