<紀要論文>
弱化規制をもたない直観主義命題論理における決定手続きの計算量

作成者
本文言語
出版者
発行日
収録物名
開始ページ
終了ページ
出版タイプ
アクセス権
JaLC DOI
概要 Non-classical logics have been studied to realize some logics we use in our everyday lives, and have something to do with the resource problem in Computer Science. In this paper we discuss such non-cl...assical logics from viewpoints of decidability and computational complexity. We deal with a system FLec in Gentzen-type sequent calculus (LJ) without the weakening rule, which is also an intutionistic relevant logic without distributive law. We proved in our previous paper that the propositional logic FLec is decidable in a non-constructive way. In the present paper we give an upper bound for the decision procedure by using McAloon’s ideas.続きを見る

本文情報を非表示

p205 pdf 230 KB 138  

詳細

レコードID
査読有無
関連情報
主題
ISSN
NCID
登録日 2010.06.12
更新日 2015.12.04

この資料を見た人はこんな資料も見ています