Correspondence analysis and automated proof-searching for first degree entailment (Q2663794)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Correspondence analysis and automated proof-searching for first degree entailment |
scientific article |
Statements
Correspondence analysis and automated proof-searching for first degree entailment (English)
0 references
20 April 2021
0 references
correspondence analysis
0 references
natural deduction
0 references
proof-searching
0 references
first degree entailment
0 references
proof theory
0 references
four-valued logic
0 references
\(n\)-sequent systems
0 references
ordinary sequent calculi
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
