Mostrar el registro sencillo del ítem

Proof nets for display logic

hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
dc.contributor.authorMOOT, Richard
dc.date.accessioned2024-04-15T09:56:25Z
dc.date.available2024-04-15T09:56:25Z
dc.date.issued2007
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198832
dc.descriptionDraft paper of a proposal to use proof nets for display logic by generalising techniques used for the multimodal Lambek calculus
dc.description.abstractEnThis paper explores several extensions of proof nets for the Lambek calculus in order to handle the different connectives of display logic in a natural way. The new proof net calculus handles some recent additions to the Lambek vocabulary such as Galois connections and Grishin interactions. It concludes with an exploration of the generative capacity of the Lambek-Grishin calculus, presenting an embedding of lexicalized tree adjoining grammars into the Lambek-Grishin calculus.
dc.language.isoen
dc.subject.enproof nets
dc.subject.enlexicalized tree adjoining grammars
dc.subject.enLambek-Grishin calculus
dc.title.enProof nets for display logic
dc.typeAutre document
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
dc.identifier.arxiv0711.2444
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
hal.identifierinria-00186911
hal.version1
hal.popularnon
hal.origin.linkhttps://hal.archives-ouvertes.fr//inria-00186911v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.date=2007&rft.au=MOOT,%20Richard&rft.genre=unknown


Archivos en el ítem

ArchivosTamañoFormatoVer

No hay archivos asociados a este ítem.

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem