WEKO3
アイテム
NII Technical Report (NII-2006-011E):Uniqueness of D-normal Proofs
https://doi.org/10.20736/0000001229
https://doi.org/10.20736/00000012294ff259e0-89aa-4eba-917c-64625f373cad
名前 / ファイル | ライセンス | アクション |
---|---|---|
NII Technical Report (NII-2006-011E):Uniqueness of D-normal Proofs (239.5 kB)
|
|
Item type | レポート / Report(1) | |||||||||
---|---|---|---|---|---|---|---|---|---|---|
公開日 | 2019-03-12 | |||||||||
タイトル | ||||||||||
タイトル | NII Technical Report (NII-2006-011E):Uniqueness of D-normal Proofs | |||||||||
言語 | en | |||||||||
言語 | ||||||||||
言語 | eng | |||||||||
キーワード | ||||||||||
言語 | ja | |||||||||
主題Scheme | Other | |||||||||
主題 | テクニカルレポート | |||||||||
キーワード | ||||||||||
言語 | en | |||||||||
主題Scheme | Other | |||||||||
主題 | Technical Report | |||||||||
資源タイプ | ||||||||||
資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||||
資源タイプ | departmental bulletin paper | |||||||||
ID登録 | ||||||||||
ID登録 | 10.20736/0000001229 | |||||||||
ID登録タイプ | JaLC | |||||||||
著者 |
龍田, 真
× 龍田, 真
|
|||||||||
抄録 | ||||||||||
内容記述タイプ | Abstract | |||||||||
内容記述 | This paper presents the notion of D-normal proofs, which is defined syntactically and gives one of the weakest condition for uniqueness of normal proofs. This paper proves the following results: (1) beta eta D-normal proofs of a formula are unique. (2) A beta-normal proof of a PNN-formula is D-normal. (3) A beta-normal proof of a minimal formula in BCK logic is D-normal. These results give other proofs of uniqueness of beta eta-normal proofs of a PNN-formula, and uniqueness of beta eta-normal proofs of a minimal formula in BCK logic. | |||||||||
言語 | en | |||||||||
書誌情報 |
ja : NIIテクニカル・レポート en : NII Technical Report p. 1-13, 発行日 2006-09-05 |
|||||||||
出版者 | ||||||||||
出版者 | 国立情報学研究所 | |||||||||
言語 | ja | |||||||||
ISSN | ||||||||||
収録物識別子タイプ | ISSN | |||||||||
収録物識別子 | 1346-5597 |