Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi (Q5367073)
From MaRDI portal
scientific article; zbMATH DE number 6790171
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Strong normalization of lambda-Sym-Prop- and lambda-bar-mu-mu-tilde-star- calculi |
scientific article; zbMATH DE number 6790171 |
Statements
12 October 2017
0 references
arithmetical proof
0 references
strong normalization, classical logic
0 references
\(\lambda^{\mathrm{Sym}}_{\mathrm{Prop}}\)-calculus
0 references
\(\overline{\lambda}\mu\overline{\mu}^\ast\)-calculus
0 references
zoom-in sequences of redexes
0 references
math.LO
0 references
