Cut elimination for GLS using the terminability of its regress process (Q288243)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Cut elimination for GLS using the terminability of its regress process |
scientific article; zbMATH DE number 6584572
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Cut elimination for GLS using the terminability of its regress process |
scientific article; zbMATH DE number 6584572 |
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
0.8103147
0 references
0.80700547
0 references
0.79519665
0 references
0 references
0.7942653
0 references
