A diagrammatic calculus of syllogisms
| Autor: | Pagnan, Ruggero |
|---|---|
| Rok vydání: | 2010 |
| Předmět: | |
| Druh dokumentu: | Working Paper |
| Popis: | 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. |
| Databáze: | arXiv |
| Externí odkaz: |
|