文章基本信息
- 标题:Second Order Permutative Conversions with Prawitz抯 Strong Validity
- 本地全文:下载
- 作者:Makoto Tatsuta
- 期刊名称:Progress in Informatics
- 印刷版ISSN:1349-8614
- 电子版ISSN:1349-8606
- 出版年度:2005
- 卷号:2
- 出版社:National Institute of Informatics
- 关键词:Permutative conversions; strong validity; natural deduction; strong normalization