A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams (Q6089954)
From MaRDI portal
scientific article; zbMATH DE number 7779135
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams |
scientific article; zbMATH DE number 7779135 |
Statements
A novel algorithmic construction for deductions of categorical polysyllogisms by Carroll's diagrams (English)
0 references
15 December 2023
0 references
polysyllogism
0 references
decision algorithm
0 references
validity
0 references
deduction
0 references
Carroll's diagrammatic system
0 references
0 references
0 references
