2024-03-28T14:31:44Z
https://repository.nii.ac.jp/oai
oai:repository.nii.ac.jp:00001229
2023-01-05T01:29:44Z
136
NII Technical Report (NII-2006-011E):Uniqueness of D-normal Proofs
龍田, 真
Tatsuta, Makoto
テクニカルレポート
Technical Report
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.
departmental bulletin paper
国立情報学研究所
2006-09-05
application/pdf
NIIテクニカル・レポート
1
13
NII Technical Report
1346-5597
https://repository.nii.ac.jp/record/1229/files/06-011E.pdf
eng