Automated correspondence analysis for the binary extensions of the logic of paradox (Q4600826)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6826850
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Automated correspondence analysis for the binary extensions of the logic of paradox |
scientific article; zbMATH DE number 6826850 |
Statements
AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (English)
0 references
17 January 2018
0 references
non-classical logic
0 references
logic of paradox
0 references
proof theory
0 references
proof search
0 references
correspondence analysis
0 references
natural deduction
0 references
0 references
0.8268658518791199
0 references
0.7975085973739624
0 references
0.7958698272705078
0 references
0.7944033145904541
0 references
0.7805034518241882
0 references
