Nondeterministic Linear Logic

• Item type: SIG Technical Reports(1)
• 公開日: 1997-03-28
• タイトル: Nondeterministic Linear Logic
• タイトル / 言語: en
• タイトル: Nondeterministic Linear Logic
• 言語: jpn
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: Department of Electrical and Computer Engineering Faculty of Engineering Nagoya Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Electrical and Computer Engineering, Faculty of Engineering, Nagoya Institute of Technology
• 著者名: Satoshi, Matsuoka
• 著者名(英): Satoshi, Matsuoka
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: In this paper we introduce Linear Logic with a nondeterministic facility which has a self-dual additive connective. In the system proof net technology is available in a natural way. The important point is that nondeterminism in the system is expressed by the process of normalization not by proof search. Moreover we can incorporate the system into Light Linear Logic and Elementary Linear Logic developed by J.-Y. Girard recently: Non-deterministic Light Linear Logic and Nondeterministic Elementary Linear Logic are defined in a very natural way.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: In this paper, we introduce Linear Logic with a nondeterministic facility, which has a self-dual additive connective. In the system proof net technology is available in a natural way. The important point is that nondeterminism in the system is expressed by the process of normalization, not by proof search. Moreover we can incorporate the system into Light Linear Logic and Elementary Linear Logic developed by J.-Y. Girard recently: Non-deterministic Light Linear Logic and Nondeterministic Elementary Linear Logic are defined in a very natural way.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10485570
• 書誌情報: 情報処理学会研究報告プログラミング（PRO）; 巻 1997, 号 32(1996-PRO-012), p. 21-26, 発行日 1997-03-28
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会