Softness of MALL proof-structures and a correctness criterion with Mix

研究成果: Article同行評審

3 引文 斯高帕斯(Scopus)

摘要

We show that every MALL proof-structure [9] satisfies the property of softness, originally a categorical notion introduced by Joyal. Furthermore, we show that the notion of hereditary softness precisely captures Girard's algebraic restriction of the technical condition on proof-structures. Relying on this characterization, we prove a MALL+Mix sequentialization theorem by a proof-theoretical method, using Girard's notion of jump. Our MALL+Mix correctness criterion subsumes the Danos/Fleury-Retoré criterion [6] for MLL+Mix.

原文English
頁(從 - 到)751-794
頁數44
期刊Archive for Mathematical Logic
43
發行號6
DOIs
出版狀態Published - 2004 8月

All Science Journal Classification (ASJC) codes

  • 哲學
  • 邏輯

指紋

深入研究「Softness of MALL proof-structures and a correctness criterion with Mix」主題。共同形成了獨特的指紋。

引用此