Proof nets without links for Lambek calculus and partially commutative linear logic
PORELLO, Daniele
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
PORELLO, Daniele
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
RETORÉ, Christian
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
< Réduire
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Linguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
Langue
en
Communication dans un congrès
Ce document a été publié dans
50 years of the Syntactic calculus, 2008-07-11, Chieti.
Résumé en anglais
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 ...Lire la suite >
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.< Réduire
Origine
Importé de halUnités de recherche