论文信息 - An Analysis of (Linear) Exponentials Based on Extended Sequents

An Analysis of (Linear) Exponentials Based on Extended Sequents

We apply the sequents approach to the analysis of several logics derived from linear logic In particular we present a uniform formal system for Linear Logic Elementary Linear Logic and Light Linear Logic

Andrea Masini | Stefano Guerrini | Simone Martini

[1] Andrea Masini,et al. Coherence for Sharing Proof Nets , 1996, RTA.

[2] Andrea Masini,et al. On the fine structure of the exponential rule , 1995 .

[3] Andrea Masini,et al. Modal Logic, Linear Logic, Optimal Lambda-Reduction , 1999 .

[4] Patrick Lincoln,et al. Linear logic , 1992, SIGA.

[5] Kosta Dosen,et al. Sequent-systems for modal logic , 1985, Journal of Symbolic Logic.

[6] S. Martini,et al. A Computational Interpretation of Modal Proofs , 1996 .

[7] A. Avron. The method of hypersequents in the proof theory of propositional non-classical logics , 1996 .

[8] Andrea Masini,et al. Proof Nets, Garbage, and Computations , 1997, TLCA.

[9] Max I. Kanovich,et al. Phase semantics for light linear logic , 2003, MFPS.

[10] Andrea Masini,et al. 2-Sequent Calculus: A Proof Theory of Modalities , 1992, Ann. Pure Appl. Log..

[11] Heinrich Wansing,et al. Sequent Calculi for Normal Modal Proposisional Logics , 1994, J. Log. Comput..

[12] Dov M. Gabbay,et al. Extending the Curry-Howard interpretation to linear, relevant and other resource logics , 1992, Journal of Symbolic Logic.

[13] Andrea Masini,et al. 2-Sequent Calculus: Intuitionism and Natural Deduction , 1993, J. Log. Comput..

[14] Jean-Yves Girard,et al. Linear logic: its syntax and semantics , 1995 .