アイテムタイプ |
Article |
ID |
|
プレビュー |
画像 |
|
キャプション |
|
|
本文 |
AN00150430-00000141-0029.pdf
Type |
:application/pdf |
Download
|
Size |
:303.5 KB
|
Last updated |
:Jul 3, 2018 |
Downloads |
: 466 |
Total downloads since Jul 3, 2018 : 466
|
|
本文公開日 |
|
タイトル |
タイトル |
乗法的論理結合子の一般化と証明網について
|
カナ |
ジョウホウテキ ロンリ ケツゴウシ ノ イッパンカ ト ショウメイモウ ニ ツイテ
|
ローマ字 |
Jōhōteki ronri ketsugōshi no ippanka to shōmeimō ni tsuite
|
|
別タイトル |
名前 |
On a generalization of multiplicative connectives and proof-nets
|
カナ |
|
ローマ字 |
|
|
著者 |
名前 |
西牟田, 祐樹
|
カナ |
ニシムタ, ユウキ
|
ローマ字 |
Nishimuta, Yuki
|
所属 |
慶應義塾大学文学研究科哲学専攻博士課程
|
所属(翻訳) |
|
役割 |
|
外部リンク |
|
|
版 |
|
出版地 |
|
出版者 |
名前 |
三田哲學會
|
カナ |
ミタ テツガクカイ
|
ローマ字 |
Mita tetsugakukai
|
|
日付 |
出版年(from:yyyy) |
2018
|
出版年(to:yyyy) |
|
作成日(yyyy-mm-dd) |
|
更新日(yyyy-mm-dd) |
|
記録日(yyyy-mm-dd) |
|
|
形態 |
|
上位タイトル |
名前 |
哲學
|
翻訳 |
Philosophy
|
巻 |
|
号 |
141
|
年 |
2018
|
月 |
3
|
開始ページ |
29
|
終了ページ |
51
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII論文ID |
|
医中誌ID |
|
その他ID |
|
博士論文情報 |
学位授与番号 |
|
学位授与年月日 |
|
学位名 |
|
学位授与機関 |
|
|
抄録 |
This paper offers a survey of the theory of multiplicative generalized connectives, which was introduced by Danos and Regnier in 1989. Girard introduced a proof-net in (Girard, 1987). We think that one of the most important theorems in proof-net theory is the sequentialization theorem in (Girard, 1987). We think that an important open problem in generalized connective theory is an extension of the sequentialization theorem by the generalized connectives. We give a brief overview of this problem in this paper.
|
|
目次 |
|
キーワード |
|
NDC |
|
注記 |
|
言語 |
|
資源タイプ |
|
ジャンル |
|
著者版フラグ |
|
関連DOI |
|
アクセス条件 |
|
最終更新日 |
|
作成日 |
|
所有者 |
|
更新履歴 |
|
インデックス |
|
関連アイテム |
|