Apodeictic syllogisms: Deductions and decision procedures (Q4857763)
From MaRDI portal
scientific article; zbMATH DE number 823683
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Apodeictic syllogisms: Deductions and decision procedures |
scientific article; zbMATH DE number 823683 |
Statements
Apodeictic syllogisms: Deductions and decision procedures (English)
0 references
5 December 1995
0 references
decision procedures
0 references
validity of Aristotelian assertoric and apodeictic syllogisms
0 references