文章基本信息

标题：Second order permutative conversions with Prawitz’s strong validity
作者：Makoto TATSUTA
期刊名称：Progress in Informatics
印刷版ISSN：1349-8614
电子版ISSN：1349-8606
出版年度：2005
期号：2
页码：41-56
DOI：10.2201/NiiPi.2005.2.4
出版社：National Institute of Informatics
摘要：A clear and complete proof of strong normalization of second order natural deduction with permutative conversions is given by using Prawitz’s strong validity. This paper completes Prawitz’s original proof.
关键词：Permutative conversions; strong validity; natural deduction; strong normalization