|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b30. リサーチレポート >
Research Report - School of Information Science ： ISSN 0918-7553 >
IS-RR-1997 >
このアイテムの引用には次の識別子を使用してください:
http://hdl.handle.net/10119/8377
|
| タイトル: | Hilbert style proof system for BPL |
| 著者: | Suzuki, Yasuhito
Ono, Hiroakira |
| 発行日: | 1997-10-07 |
| 出版者: | 北陸先端科学技術大学院大学情報科学研究科 |
| 誌名: | Research report (School of Information Science, Japan Advanced Institute of Science and Technology) |
| 巻: | IS-RR-97-0040F |
| 開始ページ: | 1 |
| 終了ページ: | 8 |
| 抄録: | The contents of this report are based on [2]. In [3], we mentioned properties of Visser's Basic Propositional Logic(BPL) and it's extentions in the semantical point of view, and we remained giving BPL's Hilbert type proof system as an open problem. Here, we will introduce a Hilbert style proof system for BPL. This is an extension of Corsi's system in [1]. |
| URI: | http://hdl.handle.net/10119/8377 |
| 資料タイプ: | publisher |
| 出現コレクション: | IS-RR-1997
|
このアイテムのファイル:
| ファイル |
記述 |
サイズ | 形式 |
|---|
| IS-RR-97-0040F.pdf | | 357Kb | Adobe PDF | 見る/開く |
|
当システムに保管されているアイテムはすべて著作権により保護されています。
|
