An analysis of exponentials based on extended sequents

, &
Logic Journal of the IGPL 6 (5):735-754 (1998)
  Copy   BIBTEX

Abstract

We apply the 2-sequents approach to the analysis of several calculi derived from linear logic. We present a uniform formal system for Linear Logic, Elementary Linear Logic and Light Linear Logic. In particular, the 2-sequent approach simplifies the syntax of Light and Elementary Linear Logic

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/6.5.735

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A modal view of linear logic.Simone Martini & Andrea Masini - 1994 - Journal of Symbolic Logic 59 (3):888-899.
Sequent Calculi for Intuitionistic Linear Logic with Strong Negation.Norihiro Kamide - 2002 - Logic Journal of the IGPL 10 (6):653-678.
Linear Set Theory.Masaru Shirahata - 1994 - Dissertation, Stanford University
On the unity of logic.Jean-Yves Girard - 1993 - Annals of Pure and Applied Logic 59 (3):201-217.
Higher-order sequent-system for intuitionistic modal logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
Replacement of Induction by Similarity Saturation in a First Order Linear Temporal Logic.Regimantas Pliuskevicius - 1998 - Journal of Applied Non-Classical Logics 8 (1-2):141-169.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
Linear logic with fixed resources.Dmitry A. Archangelsky & Mikhail A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):3-28.
Exchange rules.Mario Piazza - 2001 - Journal of Symbolic Logic 66 (2):509-516.
Incompatibility Semantics from Agreement.Daniele Porello - 2012 - Philosophia 40 (1):99-119.
On phase semantics and denotational semantics: the exponentials.Antonio Bucciarelli & Thomas Ehrhard - 2001 - Annals of Pure and Applied Logic 109 (3):205-241.
A phase semantics for polarized linear logic and second order conservativity.Masahiro Hamano & Ryo Takemura - 2010 - Journal of Symbolic Logic 75 (1):77-102.
Proof-theoretical analysis of order relations.Sara Negri, Jan von Plato & Thierry Coquand - 2004 - Archive for Mathematical Logic 43 (3):297-309.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Linear logic as a logic of computations.Max I. Kanovich - 1994 - Annals of Pure and Applied Logic 67 (1-3):183-212.

Analytics

Added to PP
2015-02-04

Downloads
9 (#1,248,077)

6 months
2 (#1,185,463)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

A proof-theoretic investigation of a logic of positions.Stefano Baratella & Andrea Masini - 2003 - Annals of Pure and Applied Logic 123 (1-3):135-162.
An approach to infinitary temporal proof theory.Stefano Baratella & Andrea Masini - 2004 - Archive for Mathematical Logic 43 (8):965-990.
Natural deduction calculi for classical and intuitionistic S5.S. Guerrini, A. Masini & M. Zorzi - 2023 - Journal of Applied Non-Classical Logics 33 (2):165-205.
Cut Elimination for Extended Sequent Calculi.Simone Martini, Andrea Masini & Margherita Zorzi - 2023 - Bulletin of the Section of Logic 52 (4):459-495.
Temporal Gödel-Gentzen and Girard translations.Norihiro Kamide - 2013 - Mathematical Logic Quarterly 59 (1-2):66-83.

Add more citations

References found in this work

No references found.

Add more references