Complexity of deductions in a system of classical propositional calculus (Q5942588)
From MaRDI portal
scientific article; zbMATH DE number 1639548
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of deductions in a system of classical propositional calculus |
scientific article; zbMATH DE number 1639548 |
Statements
Complexity of deductions in a system of classical propositional calculus (English)
0 references
4 December 2001
0 references
complexity of proofs
0 references
classical propositional logic
0 references
complete axiom system
0 references
tautology
0 references
