Syllogisms in rudimentary linear logic, diagrammatically (Q2255209)
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: Syllogisms in rudimentary linear logic, diagrammatically |
scientific article; zbMATH DE number 6399309
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Syllogisms in rudimentary linear logic, diagrammatically |
scientific article; zbMATH DE number 6399309 |
Statements
Syllogisms in rudimentary linear logic, diagrammatically (English)
0 references
9 February 2015
0 references
syllogism
0 references
linear logic
0 references
diagrammatic reasoning
0 references
proof nets
0 references
0.8480693101882935
0 references
0.7629393935203552
0 references
0.7541768550872803
0 references
0.7527921795845032
0 references
