An indexed system for multiplicative additive polarized linear logic

Masahiro Hamano, Ryo Takemura

研究成果: Conference contribution

3 引文 斯高帕斯(Scopus)

摘要

We present an indexed logical system MALLP( I) for Laurent's multiplicative additive polarized linear logic (MALLP) [14]. The system is a polarized variant of Bucciarelli-Ehrhard's indexed system for multiplicative additive linear logic [4]. Our system is derived from a web-based instance of Hamano-Scott's denotational semantics [12] for MALLP. The instance is given by an adjoint pair of right and left multi-pointed relations. In the polarized indexed system, subsets of indexes for I work as syntactical counterparts of families of points in webs. The rules of describe (in a proof-theoretical manner) the denotational construction of the corresponding rules of MALLP. We show that faithfully describes a denotational model of MALLP by establishing a correspondence between the provability of indexed formulas and relations that can be extended to (non-indexed) proof-denotations.

原文English
主出版物標題Computer Science Logic - 22nd International Workshop, CSL 2008 - 17th Annual Conference of the EACSL, Proceedings
頁面262-277
頁數16
DOIs
出版狀態Published - 2008
事件22nd International Workshop on Computer Science Logic, CSL 2008, and 17th Annual Conference of the European Association for Computer Science Logic, EACSL - Bertinoro, Italy
持續時間: 2008 9月 162008 9月 19

出版系列

名字Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
5213 LNCS
ISSN(列印)0302-9743
ISSN(電子)1611-3349

Conference

Conference22nd International Workshop on Computer Science Logic, CSL 2008, and 17th Annual Conference of the European Association for Computer Science Logic, EACSL
國家/地區Italy
城市Bertinoro
期間08-09-1608-09-19

All Science Journal Classification (ASJC) codes

  • 理論電腦科學
  • 一般電腦科學

指紋

深入研究「An indexed system for multiplicative additive polarized linear logic」主題。共同形成了獨特的指紋。

引用此