Thumbnail
Access Restriction
Open

Author Pagnan, Ruggero
Source arXiv.org
Content type Text
File Format PDF
Date of Submission 2010-01-11
Language English
Subject Domain (in DDC) Natural sciences & mathematics ♦ Mathematics
Subject Keyword Mathematics - Logic ♦ Mathematics - Category Theory ♦ 03B99 ♦ math
Abstract 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.
Educational Use Research
Learning Resource Type Article


Open content in new tab

   Open content in new tab