A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS (Q6041341)
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: A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS |
scientific article; zbMATH DE number 7689493
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS |
scientific article; zbMATH DE number 7689493 |
Statements
A CORRECTNESS PROOF FOR AL-BARAKĀT’S LOGICAL DIAGRAMS (English)
0 references
26 May 2023
0 references
syllogism
0 references
logical diagram
0 references
decision method
0 references
model-theoretic consequence
0 references
correctness proof
0 references
0.9105368
0 references
0.74561304
0 references
0.7411985
0 references
0.73609364
0 references
0 references
0.72582054
0 references
0.7228213
0 references
