ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

  1. 紀要
  1. 紀要
  2. 海上保安大学校研究報告(理工学系)
  1. 紀要
  2. 海上保安大学校研究報告(理工学系)
  3. 第66巻 第1・2号合併号 通巻第89号, 令和5年度

Topdown Cut-Elimination

https://doi.org/10.15053/0002000081
https://doi.org/10.15053/0002000081
64318450-a612-4067-81ba-4bd27b47f75b
名前 / ファイル ライセンス アクション
2-66-1-89-1_KUSHIDA.pdf 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
著者 串田 裕彦

× 串田 裕彦

ja 串田 裕彦
海上保安大学校

Search repository
著者(英)
姓名 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
戻る
0
views
See details
Views

Versions

Ver.1 2024-04-23 22:15:45.113358
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR 2.0
  • OAI-PMH JPCOAR 1.0
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3