Circular (Yet Sound) Proofs in Propositional Logic (Q6116357)
From MaRDI portal
scientific article; zbMATH DE number 7713581
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Circular (Yet Sound) Proofs in Propositional Logic |
scientific article; zbMATH DE number 7713581 |
Statements
Circular (Yet Sound) Proofs in Propositional Logic (English)
0 references
18 July 2023
0 references
proof complexity
0 references
resolution
0 references
frege
0 references
0 references
0 references
0 references
