About Folding-Unfolding Cuts and Cuts Modulo (Q2752529)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | About Folding-Unfolding Cuts and Cuts Modulo |
scientific article |
Statements
About Folding-Unfolding Cuts and Cuts Modulo (English)
0 references
6 June 2002
0 references
cut elimination
0 references
deduction modulo
0 references
natural deduction
0 references
cut with a folding and an unfolding rule
0 references
cut modulo
0 references
