神戸大学附属図書館デジタルアーカイブ
https://doi.org/10.24546/00055907

このアイテムのアクセス数:114件（2025-05-05 12:49 集計）

閲覧可能ファイル 

ファイル フォーマット サイズ 閲覧回数 説明
00055907 (fulltext) pdf 360 KB 47

メタデータ

ファイル出力

メタデータID
00055907
アクセス権
open access
出版タイプ
Version of Record
タイトル
様相論理におけるシークエント計算とタブロー法
ヨウソウ ロンリ ニオケル シークエント ケイサン ト タブローホウ
その他のタイトル
Tableau Method and Sequent Calulus for Modal Logic
著者
著者名
久本, 久男
Hisamoto, Hisao
ヒサモト, ヒサオ
所属機関名
神戸大学大学院経営学研究科
言語
Japanese (日本語)
収録物名
国民経済雑誌
巻(号)
189(2)
ページ
33-41
出版者
神戸大学経済経営学会
刊行日
2004-02
公開日
2009-05-01
抄録
冠頭タブロー法は分析的方法であるので,様相論理において比較的理解容易なシンタクスである。冠頭タブロー法のタブロールールを利用して,タブロールールと証明に関して同等な冠頭シークエント推論ルールをつくる。そして,冠頭シークエント計算体系を提案する。この体系は統合的方法であるが,冠頭タブロー法に基礎づけられているので,各推論ルールを直感的に理解できる。
カテゴリ
経営学研究科
国民経済雑誌 ＞ 189巻 ＞ 189巻2号（2004-02）
紀要論文