Proof nets without links for Lambek calculus and partially commutative linear logic
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
dc.contributor.author | PORELLO, Daniele | |
hal.structure.identifier | Laboratoire Bordelais de Recherche en Informatique [LaBRI] | |
hal.structure.identifier | Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES] | |
dc.contributor.author | RETORÉ, Christian | |
dc.date.accessioned | 2024-04-15T09:50:44Z | |
dc.date.available | 2024-04-15T09:50:44Z | |
dc.date.conference | 2008-07-11 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198369 | |
dc.description.abstractEn | Proof nets wothout links turn algebraic properties of the connectives like assocativity into proof equality. We recall similar results for multiplicative linear logic and for Lambek syntactic calculus before providing an almost complete solution for partially commutative linear logic which contains both commutative and non commutative connectives. | |
dc.language.iso | en | |
dc.title.en | Proof nets without links for Lambek calculus and partially commutative linear logic | |
dc.type | Communication dans un congrès | |
dc.subject.hal | Mathématiques [math]/Logique [math.LO] | |
dc.subject.hal | Informatique [cs]/Logique en informatique [cs.LO] | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.conference.title | 50 years of the Syntactic calculus | |
bordeaux.country | IT | |
bordeaux.conference.city | Chieti | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-00409487 | |
hal.version | 1 | |
hal.invited | oui | |
hal.proceedings | oui | |
hal.conference.end | 2008-07-12 | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-00409487v1 | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=PORELLO,%20Daniele&RETOR%C3%89,%20Christian&rft.genre=unknown |
Files in this item
Files | Size | Format | View |
---|---|---|---|
There are no files associated with this item. |