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 | |||||||||
