Mismatch (ResearchIndex)

See this document in CiteSeerX!

Mismatch (2003) (Make Corrections)
Alessio Guglielmi

Rate this article:

(Enter summary)
Abstract: om-up, the connectives at the object level ( #, #) become their corresponding structural relations at the meta level (resp. branching and being in a multiset). 1.2 Let us now see a case of mismatch, in Gentzen's one-sided sequent calculus for linear logic. Consider: 2 #- A, # #- B, # # --------------------------------------------------- , #- A # B, #, # where # is multiplicative conjunction (times or tensor). Can we consider branching a meta-level#? We could, because ((A ##) # (B # #))... (Update)

Active bibliography (related documents): More All
0.9: Mismatch - Guglielmi (2003) (Correct)
0.2: Consistency Without Cut Elimination - Brünnler, Guglielmi (2003) (Correct)
0.1: Cut Elimination inside a Deep Inference System for Classical.. - Brünnler (2005) (Correct)

Similar documents based on text: More All
0.2: Deep Inference and the Calculus of Structures - Guglielmi (2005) (Correct)
0.1: A Calculus of Order and Interaction - Guglielmi (1999) (Correct)
0.1: Polynomial Size Deep-Inference Proofs Instead Of Exponential.. - Guglielmi (2004) (Correct)

BibTeX entry: (Update)

@misc{ guglielmi-mismatch,
  author = "Alessio Guglielmi",
  title = "Mismatch",
  url = "citeseer.ist.psu.edu/article/guglielmi03mismatch.html" }