WEKO3
アイテム
Topdown Cut-Elimination
https://doi.org/10.15053/0002000081
https://doi.org/10.15053/000200008164318450-a612-4067-81ba-4bd27b47f75b
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
2-66-1-89-1_KUSHIDA.pdf (643 KB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2024-04-24 | |||||||
| タイトル | ||||||||
| タイトル | Topdown Cut-Elimination | |||||||
| 言語 | en | |||||||
| 言語 | ||||||||
| 言語 | eng | |||||||
| キーワード | ||||||||
| 言語 | en | |||||||
| 主題 | Proof Theory, Sequent Calculus, Cut-elimination, Classical logic, Model Logic | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | departmental bulletin paper | |||||||
| ID登録 | ||||||||
| ID登録 | 10.15053/0002000081 | |||||||
| ID登録タイプ | JaLC | |||||||
| アクセス権 | ||||||||
| アクセス権 | open access | |||||||
| アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||||
| 著者 |
串田 裕彦
× 串田 裕彦
|
|||||||
| 著者（英） | ||||||||
| 姓名 | KUSHIDA, Hirohiko | |||||||
| 言語 | en | |||||||
| 姓 | KUSHIDA | |||||||
| 言語 | en | |||||||
| 名 | 裕彦 | |||||||
| 言語 | en | |||||||
| 所属機関名 | Japan Coast Guard Academy | |||||||
| 言語 | en | |||||||
| 抄録 | ||||||||
| 内容記述タイプ | Abstract | |||||||
| 内容記述 | A direct cut-elimination procedure is proposed, which works for the sequent calculi not only of the classical and the intuitionistic logics but also of the standard modal logics. In the procedure, we do not introduce the inference rule mix but eliminate the usual rule cut directly. We demonstrate the method to establish the cut-elimination theorem for the hyper sequent calculus for the modal logic S5. |
|||||||
| 言語 | en | |||||||
| bibliographic_information |
ja : 海上保安大学校研究報告, 理工学系 巻 66, 号 1・2号 合併号 通巻第89号, p. 1-12, ページ数 12, 発行日 2024-03-29 |
|||||||
| 出版者 | ||||||||
| 出版者 | 海上保安大学校 | |||||||
| 言語 | ja | |||||||
| item_10002_source_id_9 | ||||||||
| 収録物識別子タイプ | ISSN | |||||||
| 収録物識別子 | 0287-2951 | |||||||
| item_10002_source_id_11 | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10088865 | |||||||
