Simone Martini, Andrea Masini  Home/Search
Context Related
| daimi.aau.dk/~bra8130/...DIPISA17.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: daimi.aau.dk/~b...OMAPS_abstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present natural deduction systems for fragments of intuitionistic linear logic obtained by dropping weakening and contractions also on !-prefixed formulas. The systems are based on a twodimensional generalization of the notion of sequent, which accounts for a clean formulation of the introduction/elimination rules of the modality. Moreover, the different subsystems are obtained in a modular way, by simple conditions on the elimination rule for !. For the proposed systems we introduce a... (Update)
Context of citations to this paper: More
.... of distinct issues to inspire the design of a particular system [Kri63, Dos85, GdQ92a, Wan94] The 2 sequent approach [Mas92, Mas93, MM95a, MM95b] is not an exception to that rule. The original goal was notational: providing symmetric and local (i.e. context free) rules for...
...slogans functional like terms as deductions of ILL and ILL formulas as types . Proposals of such languages, say ILL , are in [1, 8, 4, 11, 16, 17, 13, 15]. Each ILL comes from computational and or logical investigations of ILL. For every ILL , we call Gamma ILL its type...
Cited by: More
Electronic Notes in Computer Science 1 (1995) - On Modal Calculus (1995) (Correct)
Geometry Of Interaction III: Accommodating The Additives - Girard (1995) (Correct)
Actions, Ramification and Linear Modalities - White (1998) (Correct)
Similar documents (at the sentence level):
6.5%: A Computational Interpretation of Modal Proofs - Martini, Masini (1994) (Correct)
Active bibliography (related documents): More All
0.2: A New Deconstructive Logic: Linear Logic - Danos, Joinet, Schellinx (1997) (Correct)
0.2: Strong Normalization for all-style LK^tq (Extended Abstract) - Joinet, al. (Correct)
0.2: Polarized and Focalized Linear and Classical Proofs - Olivier Laurent Iml-Cnrs (2000) (Correct)
Similar documents based on text: More All
0.2: Proof nets, Garbage, and Computations - Guerrini Martini (Correct)
0.2: An Analysis of (Linear) Exponentials Based on Extended.. - Guerrini, Martini, Masini (1997) (Correct)
0.2: Coherence for Sharing Proof-nets - Guerrini, Martini, Masini (1997) (Correct)
Related documents from co-citation: More All
4: Theoretical Computer Science (context) - Girard - 1987
4: Computational interpretations of linear logic - Abramsky - 1993
4: Theoretical Computer Science (context) - Girard - 1987
BibTeX entry: (Update)
S. Martini and A. Masini. On the fine structure of the exponential rule. In L. Reigner J-Y. Girard, Y. Lafont, editor, Proceedings of the Cornell Linear Logic Workshop, 1993. http://citeseer.ist.psu.edu/martini93fine.html More
@inproceedings{ martini95fine,
author = "S. Martini and A. Masini",
title = "On the Fine Structure of the Exponential Rule",
booktitle = "Advances in Linear Logic (Proc.\ of the Workshop on Linear Logic, Cornell University, June 1993)",
number = "222",
publisher = "Cambridge University Press",
editor = "J.-Y. Girard and Y. Lafont and L. Regnier",
year = "1995",
url = "citeseer.ist.psu.edu/martini93fine.html" }
Citations (may not include all citations):112 Constructivism in Mathematics (context) - Troelstra, van Dalen - 1988
73 Lectures on Linear Logic (context) - Troelstra - 1991
39 Bounded linear logic: A modular approach to polynomial time .. (context) - Girard, Scedrov et al. - 1992
33 The Noble Art of Linear Decorating (context) - Schellinx - 1994
12 sequent calculus: A proof theory of modalities (context) - Masini - 1992
10 sequent calculus: Intuitionism and natural deduction (context) - Masini - 1993
10 ese de doctorat, Universit (context) - Regnier, R'eseaux - 1992
5 The structure of exponentials: uncovering the dynamics of li.. - Danos, Joinet et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.daimi.aau.dk/~bra8130/LOMAPS_abstracts.html): More
Enhanced Operational Semantics - Degano, Priami (1996) (Correct)
Clock Analysis of Synchronous Dataflow Programs - Jensen (1995) (Correct)
Proving Properties of Dynamic Process Networks - Dam (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC