Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
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
|
|
Release Date |
|
Title |
Title |
乗法的論理結合子の一般化と証明網について
|
Kana |
ジョウホウテキ ロンリ ケツゴウシ ノ イッパンカ ト ショウメイモウ ニ ツイテ
|
Romanization |
Jōhōteki ronri ketsugōshi no ippanka to shōmeimō ni tsuite
|
|
Other Title |
Title |
On a generalization of multiplicative connectives and proof-nets
|
Kana |
|
Romanization |
|
|
Creator |
Name |
西牟田, 祐樹
|
Kana |
ニシムタ, ユウキ
|
Romanization |
Nishimuta, Yuki
|
Affiliation |
慶應義塾大学文学研究科哲学専攻博士課程
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
三田哲學會
|
Kana |
ミタ テツガクカイ
|
Romanization |
Mita tetsugakukai
|
|
Date |
Issued (from:yyyy) |
2018
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
哲學
|
Name (Translated) |
Philosophy
|
Volume |
|
Issue |
141
|
Year |
2018
|
Month |
3
|
Start page |
29
|
End page |
51
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
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.
|
|
Table of contents |
|
Keyword |
|
NDC |
|
Note |
|
Language |
|
Type of resource |
|
Genre |
|
Text version |
|
Related DOI |
|
Access conditions |
|
Last modified date |
|
Creation date |
|
Registerd by |
|
History |
|
Index |
|
Related to |
|