{"title":"Second order permutative conversions with Prawitz's strong validity","authors":"M. Tatsuta","doi":"10.2201/NIIPI.2005.2.4","DOIUrl":null,"url":null,"abstract":"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.","PeriodicalId":91638,"journal":{"name":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","volume":"64 1","pages":"41-56"},"PeriodicalIF":0.0000,"publicationDate":"2005-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"... Proceedings of the ... IEEE International Conference on Progress in Informatics and Computing. IEEE International Conference on Progress in Informatics and Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.2201/NIIPI.2005.2.4","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 10
Abstract
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
