A proof of the cut-elimination theorem in simple type theory

DOI10.2307/2272058zbMath0275.02017OpenAlexW2003761626MaRDI QIDQ5183470

Satoko Titani

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272058

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Cites Work

• On the fundamental conjecture of \(GLC\). I, II
• An algebraic formulation of cut-elimination theorem
• A proof of cut-elimination theorem in simple type-theory

This page was built for publication: A proof of the cut-elimination theorem in simple type theory