Proof Transformations and Structural Invariance (Q5426006)
From MaRDI portal
scientific article; zbMATH DE number 5212129
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Proof Transformations and Structural Invariance |
scientific article; zbMATH DE number 5212129 |
Statements
Proof Transformations and Structural Invariance (English)
0 references
15 November 2007
0 references
profile
0 references
characteristic clause set
0 references
invariance under rule permutations
0 references
cut elimination
0 references
negation normal form
0 references
proof net
0 references
