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
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.
© Springer Science+Business Media B.V. 2012