A formalization of Sambins's normalization for GL (Q4304806)
From MaRDI portal
scientific article; zbMATH DE number 627592
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A formalization of Sambins's normalization for GL |
scientific article; zbMATH DE number 627592 |
Statements
A formalization of Sambins's normalization for GL (English)
0 references
31 August 1994
0 references
normalization theorem for GL
0 references
cut-elimination
0 references
mechanization of proof procedures
0 references
modal logic of provability
0 references
sequent calculus
0 references
decision procedure
0 references
recursive function
0 references
