Complementary proof nets for classical logic (Q6146288)
From MaRDI portal
scientific article; zbMATH DE number 7786295
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complementary proof nets for classical logic |
scientific article; zbMATH DE number 7786295 |
Statements
Complementary proof nets for classical logic (English)
0 references
10 January 2024
0 references
refutation systems
0 references
classical logic
0 references
proof nets
0 references
cut elimination
0 references
