Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 1998

Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract

Abstract

We propose to represent the syntax and the semantics of natural languages with labelled proof nets inside the implicative fragment of intuitionistic linear logic. Resource-sensitivity of linear logic is used to express all kind of dependencies between the syntagms of a sentence under the form of a proof net. Phonetic and semantic labelling of the proof net from its inputs to the unique output are used to produce the well-formed phonetic form and the semantic representation of the sentence from entries of a lexicon.
Not file

Dates and versions

inria-00098572 , version 1 (25-09-2006)

Identifiers

  • HAL Id : inria-00098572 , version 1

Cite

Guy Perrier. Labelled Proof Nets for the Syntax and Semantics of Natural Languages - Abstract. 4th Workshop on Logic, Language, Information and Computation - WoLLIC'97, 1998, Forataleza, Brazil, France. pp.907-910. ⟨inria-00098572⟩
72 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More