Alessio Guglielmi  Home/Search
Context
Related
| cs.bath.ac.uk/ag/p/AG9.pdf Cached: 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.
PS.gz PS Image Update HelpFrom: alessio.guglielmi.name/re...index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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:
3.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ guglielmi-mismatch,
author = "Alessio Guglielmi",
title = "Mismatch",
url = "citeseer.ist.psu.edu/guglielmi03mismatch.html" }
Citations (may not include all citations):56 Non-commutativity and MELL in the calculus of structures - Guglielmi, Straburger - 2001
53 Journal of Philosophical Logic (context) - Belnap - 1982
39 Deep inference and symmetry in classical proofs (context) - Brnnler - 2003
31 Properties of a logical system in the calculus of structures - Tiu - 2001
25 A systematic proof theory for several modal logics - Stewart, Stouppa - 2003
23 Linear logic and noncommutativity in the calculus of structu.. - Straburger - 2003
14 URL: http://www (context) - Guglielmi, Manuscript - 2002
14 URL: http://www (context) - Guglielmi, Manuscript - 2002
2 Technische Universitt Dresden (context) - Guglielmi, of et al. - 2002
1 Atomic cut elimination for classical logic (context) - Brnnler - 2002
http://www.ki.inf.tu--dresden.de/~lutz/els.pdf
http://www.ki.inf.tu-dresden.de/~guglielm/Research
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