Showing math.LOShow all
2 papers · 1 filter
math.LO2010
A diagrammatic calculus of n-term syllogisms
Ruggero Pagnan
We extend the diagrammatic calculus of syllogisms introduced in our previous paper to the general case of n-term syllogisms, showing that the valid ones are exactly those whose con…
math.LO2010
A diagrammatic calculus of syllogisms
Ruggero Pagnan
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.