A new algorithmic decision for categorical syllogisms via Carroll's diagrams (Q2156461)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new algorithmic decision for categorical syllogisms via Carroll's diagrams |
scientific article |
Statements
A new algorithmic decision for categorical syllogisms via Carroll's diagrams (English)
0 references
18 July 2022
0 references
categorical syllogism
0 references
validity
0 references
deduction
0 references
decision algorithm
0 references
complexity
0 references
