|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-1994 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8368
|
| タイトル: | Uniqueness of normal proofs in {→,∧}-fragment of NJ |
| 著者: | Aoto, Takahito
Ono, Hiroakira |
| 発行日: | 1994-08-11 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-94-0024F |
| 開始ページ: | 1 |
| 終了ページ: | 20 |
| 抄録: | It is known that in {→, ∧}-fragment of the natural deduction system of intuitionistic propositional logic NJ balanced formulas have unique βη-normal proofs. A balanced formula is a formula such that 1. every propositional variable has at most one negative occurrence and 2. every propositional variable has at most one positive occurrence. It will be shown here that the above condition 1 is suf ficient for formulas to have unique βη-normal proofs. This can be obtained by a close examination of Mints' proof, whose details are given in the present report. |
| URI: | http://hdl.handle.net/10119/8368 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-1994
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-94-0024F.pdf | | 809Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
