DMCA
Partially Commutative Linear Logic: Sequent Calculus and Phase Semantics (1996)
by
Philippe de Groote
,
Projet Calligramme
| Citations: | 33 - 1 self |
BibTeX
@MISC{Groote96partiallycommutative,
author = {Philippe de Groote and Projet Calligramme},
title = {Partially Commutative Linear Logic: Sequent Calculus and Phase Semantics},
year = {1996}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We define a variant of intuitionistic multiplicative linear logic that features the non-commutative connectives of the Lambek calculus together with...
