Functional Completeness in CPL via Correspondence Analysis (Q5241402)
From MaRDI portal
scientific article; zbMATH DE number 7124771
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Functional Completeness in CPL via Correspondence Analysis |
scientific article; zbMATH DE number 7124771 |
Statements
Functional Completeness in CPL via Correspondence Analysis (English)
0 references
31 October 2019
0 references
correspondence analysis
0 references
invertible rules
0 references
classical propositional logic
0 references
functional completeness
0 references
sequent calculus
0 references
automated deduction
0 references
automated rules generation
0 references
0 references
0 references
