Cut elimination for GLS using the terminability of its regress process (Q288243)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut elimination for GLS using the terminability of its regress process |
scientific article |
Statements
Cut elimination for GLS using the terminability of its regress process (English)
0 references
25 May 2016
0 references
modal logic
0 references
GL
0 references
Gentzen-style logic
0 references
cut-elimination
0 references
regress trees
0 references
