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

作成者
本文言語
出版者
発行日
雑誌名
出版タイプ
アクセス権
概要 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 65  

詳細

レコードID
査読有無
関連情報
注記
タイプ
登録日 2009.04.22
更新日 2017.01.20