See this document in CiteSeerX!

Linear Logic and Noncommutativity in the Calculus of Structures (2003)  (Make Corrections)  
Lutz Straßburger



  Home/Search   Context   Related

 
View or download:
lix.polytechnique.fr/...dissvonlutz.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  alessio.guglielmi.name/re...index (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: macro \clap,whichisused on almost every page, came out of such a discussion. This thesis would not exist without the support of my wife Jana. During all the time she has been a continuous source of love and inspiration. This PhD thesis has been written with the financial support of the DFG-Graduiertenkolleg 334 "Spezifikation diskreter Prozesse und Prozesysteme durch operationelle Modelle und Logiken". iii iv Tab l e o f Contents Acknowledgements iii Tab l e of Contents v List of Figures vii... (Update)

Similar documents (at the sentence level):
5.1%:   Linear Logic and Noncommutativity in the Calculus of Structures - Straßburger (2003)   (Correct)

Active bibliography (related documents):   More   All
1.4:   MELL in the Calculus of Structures - Straßburger (2003)   (Correct)
1.0:   The Undecidability of System NEL - Straßburger (2003)   (Correct)
0.8:   System NEL is Undecidable - Straßburger (2003)   (Correct)

Similar documents based on text:
0.0:   Unknown -   (Correct)

BibTeX entry:   (Update)

@misc{ burger-linear,
  author = "Lutz Straßburger",
  title = "Linear Logic and Noncommutativity in the Calculus of Structures",
  url = "citeseer.ist.psu.edu/740163.html" }
Citations (may not include all citations):
1911   Introduction to automata theory (context) - Hopcroft, rey et al. - 1979
982   Theoretical Computer Science (context) - Girard - 1987
353   Term Rewriting and All That (context) - Baader, Nipkow - 1998
340   Uniform proofs as a foundation for logic programming (context) - Miller, Nadathur et al. - 1991
257   Logic programming in a fragment of intuitionistic linear log.. - Hodas, Miller - 1994
248   The mathematics of sentence structure (context) - Lambek - 1958
233   The formulae-as-types notion of construction (context) - Howard - 1980
178   Communicating and Mobile Systems: The #-Calculus (context) - Milner - 2001
175   Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
133   Cambridge Tracts in Theoretical Computer Science (context) - Girard, Lafont et al. - 1989
132   Interpretation fonctionelle et elimination des coupures de l.. (context) - Girard - 1972
111   A deductive solution for plan generation (context) - Bibel - 1986
96   Decision problems for propositional linear logic - Lincoln, Mitchell et al. - 1992
88   Linear logic: its syntax and semantics - Girard - 1995
86   Implementing Mathematics with the NuPrl Development System (context) - Constable, Allen et al. - 1986
82   semantics approach: Theory and applications (context) - Bossi, Gabbrielli et al. - 1994
81   A multiple-conclusion meta-logic - Miller - 1994
73   Untersuchungen uber das logische Schlieen (context) - Gentzen - 1934
73   Untersuchungen uber das logische Schlieen (context) - Gentzen - 1935
73   Is there a use for linear logic (context) - Wadler - 1991
69   calculus as a theory in linear logic: preliminary results (context) - Miller - 1992
65   A new deductive approach to planning (context) - en, Josef - 1990
65   A local system for classical logic - Brunnler, Tiu - 2001
58   A Proof-Theoretical Study (context) - Prawitz - 1965
57   Logic programming with focusing proofs in linear logic (context) - Andreoli - 1992
56   Non-commutativity and MELL in the calculus of structures - Guglielmi, Straburger - 2001
54   Phase semantics and sequent calculus for pure noncommutative.. (context) - Abrusci - 1991
53   Journal of Philosophical Logic (context) - Belnap, logic - 1982
51   autonomous categories and cofree coalgebras (context) - Seely - 1989
49   Annals of Pure and Applied Logic (context) - Blass, semantics et al. - 1992
43   A purely logical account of sequentiality in proof search - Bruscoli - 2002
43   Weakly distributive categories - Cockett, Seely - 1997
43   Game semantics for linear logic (context) - Lafont, Streicher - 1991
42   Non-commutative logic I: The multiplicative fragment - Abrusci, Ruet - 2000
39   Deep Inference and Symmetry for Classical Proofs (context) - Brunnler - 2003
38   Proof Theoretic Approach to Specification Languages - Chirimar - 1995
38   A non-commutative extension of MELL - Guglielmi, Straburger - 2002
38   International Series in Computer Science (context) - Milner, Concurrency - 1989
37   Journal of Symbolic Logic (context) - Yetter, noncommutative et al. - 1990
35   Pomset logic: A non-commutative extension of classical linea.. - Retore - 1997
32   Springer-Verlag (context) - Schutte - 1960
32   Mathematical Structures in Computer Science (context) - Barr, categories et al. - 1991
31   An Introduction to Substructural Logics (context) - Restall - 2000
31   Properties of a logical system in the calculus of structures - Tiu - 2001
30   Games semantics for full propositional linear logic (context) - Lamarche - 1995
29   Non-commutative logic II: Sequent calculus and phase semanti.. - Ruet - 2000
27   Automata and Computability (context) - Kozen - 1997
25   A systematic proof theory for several modal logics - Stewart, Stouppa - 2003
24   Mathematical Structures in Computer Science (context) - Fleury, Retore et al. - 1994
22   There's no substitute for linear logic - Wadler - 1992
21   Normal derivability in classical logic (context) - Tait - 1968
20   Recursive unsolvability of Post's problem (context) - Minsky - 1961
19   The complexity of Horn fragments of linear logic (context) - Kanovich - 1994
19   The undecidability of second order multiplicative linear log.. - Lafont, Scedrov - 1996
19   The undecidability of second order linear logic without expo.. - Lafont - 1996
19   lambda Prolog: An Introduction to the Language and its Logic (context) - Miller - 1995
18   Annals of Pure and Applied Logic (context) - Andreoli, proof - 2001
16   How to program an infinite abacus (context) - Lambek - 1961
16   Forum: A multiple-conclusion specification logic (context) - Miller - 1996
16   Pomset logic as a calculus of directed cographs - Retore - 1999
15   Reseaux et Sequents Ordonnes (context) - Retore - 1993
14   Linear deductive planning (context) - Groe, en et al. - 1996
14   Technische Universitat Dresden (context) - Guglielmi, of et al. - 2002
14   Technische Universitat Dresden (context) - Guglielmi, of et al. - 1999
13   Locus solum: From the rules of logic to the logic of rules (context) - Girard - 2001
13   Positive modal logic (context) - Dunn - 1995
12   An introduction to proof theory (context) - Buss - 1998
12   The direct simulation of Minsky machines in linear logic (context) - Kanovich - 1995
12   A survey of proof theory (context) - Kreisel - 1968
12   The finite model property for various fragments of linear lo.. - Lafont - 1997
11   The permutability of rules in the classical inferential calc.. (context) - Curry - 1952
10   Technische Universitat Dresden (context) - Brunnler, on et al. - 2002
10   Mathematische Annalen (context) - Hilbert - 1926
10   Technische Universitat Dresden (context) - Brunnler, classical et al. - 2003
10   Basic Proof Theory (context) - Troelstra, Schwichtenberg - 2000
10   on and Philip Wadler. Linear logic, monads, and the lambda c.. (context) - Bent - 1996
10   Ein dialogisches Konstruktivitatskriterium (context) - Lorenzen - 1961
9   Coherent banach spaces: a continuous denotational semantics - Girard - 1996
9   Technische Universitat Dresden (context) - Straburger, the et al. - 2001
9   Technische Universitat Dresden (context) - Straburger, of et al. - 2003
9   A complete axiomatisation of the inclusion of series-paralle.. - Bechet, de Groote et al. - 1997
9   North-Holland Publishing Co (context) - Curry, Feys et al. - 1958
8   From proof nets to games (context) - Lamarche - 1996
7   Mathematische Grundlagenforschung (context) - Heyting - 1934
7   Simulating computations in second order non-commutative line.. - Kanovich - 2000
7   Forum as a logic programming language (context) - Hodas, rey - 1996
6   Annals of Mathematical Logic (context) - Danos, Regnier et al. - 1989
6   Linear reasoning: A new form of the Herbrand-Gentzen theorem (context) - Craig - 1957
6   A non-commutative extension of multiplicative exponential li.. - Guglielmi, Straburger
5   edizioni di filosofia e scienze (context) - Girard, Logical et al. - 1987
5   Minimal logic in the calculus of structures (context) - Brunnler - 2003
4   A finitary system for first order logic (context) - Brunnler, Guglielmi - 2003
4   Dialogspiele als semantische Grundlage von Logikkalkulen (context) - Lorenz - 1968
4   Handsome proof-nets: perfect matchings and cographs (context) - Retore - 2003
4   Electronic Notes in Theoretical Computer Science (context) - Maraist, Odersky et al. - 1995
4   The classical AI planning problems in the mirror of Horn lin.. (context) - Kanovich, Vauzeilles - 2001
3   Handsome proof-nets: R&B-graphs (context) - Retore - 1999
3   Structures in cyclic linear logic (context) - Di Gianantonio - 2003
3   Introduction to linear logic (context) - Brauner - 1996
2   Specifying and verifying TCPIP with linear logic - Sinclair, verifying et al. - 1999
2   Schluweisen-Kalkule der Pradikatenlogik (context) - Schutte - 1950
2   volume XXVII of Die Grundlehren der Mathematischen Wissensch.. (context) - Hilbert, Ackermann et al. - 1928
2   A formalism of the simple theory of types (context) - Church - 1940
2   Lecture Notes of the 11th European Summer School in Logic (context) - Heine, Srensen et al. - 1999
2   perfection and miracles (context) - Guglielmi - 2002
2   th century logic and 21'st century programming languages (context) - Wadler - 2000
2   Zur Deutung der intuitionistischen Logik (context) - Kolmogorov - 1932
2   Index additive group (context) - Zucker, cut-elimination et al. - 1974
2   Some semantical aspects of linear logic - Blass - 1996
2   Hyland and Chih-Hao Luke Ong (context) - Martin - 1993
2   NumberinCenterfor Study Language and Information (context) - Sjerp, on et al. - 1992
2   Draftofbook available httpwww sop (context) - Bertot, Le Coq et al. - 2003
2   Uber die Bedeutung des Satzes vom ausgeschlossenen Dritten i.. (context) - Jan - 1924
2   To appear in Electronic Notes in Theoretical Computer Scienc.. (context) - Straburger, is et al. - 2003
2   the formulae-as-types correspondence for classical logic (context) - Stewart - 2001
1   A local system for linear logic (context) - Straburger - 2002
1   Atomic cut elimination for classical logic (context) - Brunnler - 2002

Documents on the same site (http://alessio.guglielmi.name/res/cos/index.html):   More
MELL in the Calculus of Structures - Straßburger (2003)   (Correct)
Implementing Deep Inference in TOM - Kahramanogullari, Moreau, Reilles (2005)   (Correct)
What is a Logic, and What is a Proof? - Straßburger (2005)   (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