Apodeictic syllogisms: Deductions and decision procedures (Q4857763)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Apodeictic syllogisms: Deductions and decision procedures |
scientific article; zbMATH DE number 823683
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| 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
0.8092437386512756
0 references
0.7922412157058716
0 references
0.7898589372634888
0 references
