Mostrar el registro sencillo del ítem
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
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 | AMBLARD, Maxime | |
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.contributor.editor | S. B. Cooper and T. F. Kent and B. Löwe and A. Sorbi | |
dc.date.accessioned | 2024-04-15T09:50:45Z | |
dc.date.available | 2024-04-15T09:50:45Z | |
dc.date.created | 2007-06-11 | |
dc.date.issued | 2007-06-18 | |
dc.date.conference | 2007-06-18 | |
dc.identifier.uri | https://oskar-bordeaux.fr/handle/20.500.12278/198370 | |
dc.description.abstractEn | This paper provides a natural deduction system for Partially Commutative Intuitionistic Multiplicative Linear Logic (PCIMLL) and establishes its normalisation and subformula property. Such a system in- volves both commutative and non commutative connectives and deals with context that are series-parallel multisets of formulæ. This calcu- lus is the extension of the one introduced by de Groote presented by the second order for modelling Petri net execution, with a full entropy which allow order to be relaxed into any suborder — as opposed to the Non Commutative Logic of Abrusci and Ruet. Our result also includes, as a special case, the normalisation of natural deduction the Lambek calculus with product, which is unsurprising but yet unproved. Up to now PCIMLL with full entropy had no natural deduction. In particular for linguistic applications, such a syntax is much welcome to construct semantic representations from syntactic analyses. | |
dc.language.iso | en | |
dc.publisher | Università di Siena | |
dc.source.title | Computation and Logic in the Real World (Computing in Europe 2007) | |
dc.subject.en | logi | |
dc.subject.en | proof theory | |
dc.subject.en | linear logic | |
dc.subject.en | Lambek calculus | |
dc.title.en | Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product | |
dc.type | Communication dans un congrès | |
dc.subject.hal | Informatique [cs]/Logique en informatique [cs.LO] | |
dc.subject.hal | Mathématiques [math]/Logique [math.LO] | |
bordeaux.page | 28--44 | |
bordeaux.hal.laboratories | Laboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800 | * |
bordeaux.issue | ID487 | |
bordeaux.institution | Université de Bordeaux | |
bordeaux.institution | Bordeaux INP | |
bordeaux.institution | CNRS | |
bordeaux.conference.title | Computation and Logic in the Real World (Computing in Europe 2007) | |
bordeaux.country | IT | |
bordeaux.title.proceeding | Computation and Logic in the Real World (Computing in Europe 2007) | |
bordeaux.conference.city | Siena | |
bordeaux.peerReviewed | oui | |
hal.identifier | hal-00409486 | |
hal.version | 1 | |
hal.invited | non | |
hal.proceedings | oui | |
hal.conference.end | 2007-06-23 | |
hal.popular | non | |
hal.audience | Internationale | |
hal.origin.link | https://hal.archives-ouvertes.fr//hal-00409486v1 | |
bordeaux.COinS | ctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.btitle=Computation%20and%20Logic%20in%20the%20Real%20World%20(Computing%20in%20Europe%202007)&rft.date=2007-06-18&rft.issue=ID487&rft.spage=28--44&rft.epage=28--44&rft.au=AMBLARD,%20Maxime&RETOR%C3%89,%20Christian&rft.genre=unknown |
Archivos en el ítem
Archivos | Tamaño | Formato | Ver |
---|---|---|---|
No hay archivos asociados a este ítem. |