Decision Problems for the Intuitionistic Logic without Weakening Rule - Collections

＜technical report＞
Decision Problems for the Intuitionistic Logic without Weakening Rule

Creator	Creator Name Kiriyama, Eiji Affiliation Affiliation Name Department of Information Systems, Kyushu University
Creator	Creator Name Ono, Hiroakira 小野, 寛晰 Affiliation Affiliation Name Faculty of Integrated Arts and Sciences Hiroshima University 広島大学総合科学部
Language	English
Publisher	Research Institute of Fundamental Information Science, Kyushu University
Publisher	九州大学理学部附属基礎情報学研究施設
Date	1990-03-28
Source Title	RIFIS Technical Report
Vol	23
Publication Type	Accepted Manuscript
Access Rights	open access
Related DOI	RIFIS Technical Report \|\| 23 \|\| p1-14
Related DOI	http://www.i.kyushu-u.ac.jp/research/report.html
Related URI	RIFIS Technical Report \|\| 23 \|\| p1-14
Related URI	http://www.i.kyushu-u.ac.jp/research/report.html
Relation	RIFIS Technical Report \|\| 23 \|\| p1-14
Relation	http://www.i.kyushu-u.ac.jp/research/report.html
Abstract	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.show more

File	FileType	Size	Views	Description
rifis-tr-23	pdf	1.02 MB	231