直観主義命題論理の決定時間について

スポンサーリンク

概要

• 論文の詳細を見る

• Last year, we argued about the decision time of the classical logic. In this paper, we argue about the decision time of the intuitionistic propositional logic. There are the sequents which we are not able to decide the provability in the case of the intuitionistic logic, in contrast with the classical logic. So, we restrict to sequents to be composed only formulas which have not the plural negation (the left side does not contain the negation in the implication). Then, we can deside the provability of sequent within the exponential time.

著者

• 和手 正道

  了徳寺大学教養教育センター

関連論文

• 直観主義命題論理の決定時間について

スポンサーリンク