Decision Problems for the Intuitionistic Logic without Weakening Rule - 九大コレクション

＜テクニカルレポート＞
Decision Problems for the Intuitionistic Logic without Weakening Rule

作成者	作成者名 Kiriyama, Eiji 所属機関所属機関名 Department of Information Systems, Kyushu University
作成者	作成者名 Ono, Hiroakira 小野, 寛晰所属機関所属機関名 Faculty of Integrated Arts and Sciences Hiroshima University 広島大学総合科学部
本文言語	英語
出版者	Research Institute of Fundamental Information Science, Kyushu University
出版者	九州大学理学部附属基礎情報学研究施設
発行日	1990-03-28
収録物名	RIFIS Technical Report
巻	23
出版タイプ	Accepted Manuscript
アクセス権	open access
関連DOI	RIFIS Technical Report \|\| 23 \|\| p1-14
関連DOI	http://www.i.kyushu-u.ac.jp/research/report.html
関連URI	RIFIS Technical Report \|\| 23 \|\| p1-14
関連URI	http://www.i.kyushu-u.ac.jp/research/report.html
関連情報	RIFIS Technical Report \|\| 23 \|\| p1-14
関連情報	http://www.i.kyushu-u.ac.jp/research/report.html
概要	This paper treats decision problems for the intuitionistic logic without weakening rule $ FL_ec $. First, the cut elimination theorem for $ FL_ec $ will be shown. Using this fact and Kripke's method,... it will be proved that the propositional $ FL_ec $, is decidable. On the other hand, the predicate $ FL_ec $, will be shown to be undecidable by reducing the decision problem to that of the intuitionistic predicate logic.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
rifis-tr-23	pdf	1.02 MB	273