Exchange Rules
Piazza, Mario
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 509-516 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
In this paper, we show by a proof-theoretical argument that in a logic without structural rules, that is in noncommutative linear logic with exponentials, every formula A for which exchange rules (and weakening and contraction as well) are admissible is provably equivalent to ?A. This property shows that the expressive power of "noncommutative exponentials" is much more important than that of "commutative exponentials".
Publié le : 2001-06-14
Classification:  
@article{1183746457,
     author = {Piazza, Mario},
     title = {Exchange Rules},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 509-516},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746457}
}

Piazza, Mario. Exchange Rules. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  509-516. http://gdmltest.u-ga.fr/item/1183746457/