AUTOMATED CORRESPONDENCE ANALYSIS FOR THE BINARY EXTENSIONS OF THE LOGIC OF PARADOX (Q4600826)
From MaRDI portal
scientific article; zbMATH DE number 6826850
Language | Label | Description | Also known as |
---|---|---|---|
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