Afficher la notice abrégée

Proof nets without links for Lambek calculus and partially commutative linear logic

hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorPORELLO, Daniele
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorRETORÉ, Christian
dc.date.accessioned2024-04-15T09:50:44Z
dc.date.available2024-04-15T09:50:44Z
dc.date.conference2008-07-11
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198369
dc.description.abstractEnProof 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.isoen
dc.title.enProof nets without links for Lambek calculus and partially commutative linear logic
dc.typeCommunication dans un congrès
dc.subject.halMathématiques [math]/Logique [math.LO]
dc.subject.halInformatique [cs]/Logique en informatique [cs.LO]
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
bordeaux.conference.title50 years of the Syntactic calculus
bordeaux.countryIT
bordeaux.conference.cityChieti
bordeaux.peerReviewedoui
hal.identifierhal-00409487
hal.version1
hal.invitedoui
hal.proceedingsoui
hal.conference.end2008-07-12
hal.popularnon
hal.audienceInternationale
hal.origin.linkhttps://hal.archives-ouvertes.fr//hal-00409487v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.au=PORELLO,%20Daniele&RETOR%C3%89,%20Christian&rft.genre=unknown


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée