Results 41 to 50 of about 2,544 (97)

A Labelled Analytic Theorem Proving Environment for Categorial Grammar

open access: yes, 1995
We present a system for the investigation of computational properties of categorial grammar parsing based on a labelled analytic tableaux theorem prover.
Luz-Filho, Saturnino F., Sturt, Patrick
core   +1 more source

Linear Logic for Meaning Assembly

open access: yes, 1995
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts.
Dalrymple, Mary   +3 more
core   +1 more source

Discontinuity and the Lambek calculus [PDF]

open access: yesProceedings of the 15th conference on Computational linguistics -, 1994
openaire   +2 more sources

LC Graphs for the Lambek Calculus with Product [PDF]

open access: yes, 2010
This paper introduces a novel graph representation of proof nets for the Lambek calculus that extends the LC graph representation of [13] to include the product connective. This graph representation more clearly specifies the difference between the Lambek calculus with and without product than other proof net representations, which is important to the ...
openaire   +1 more source

A Bird's Eye View of Human Language Evolution. [PDF]

open access: yesFront Evol Neurosci, 2012
Berwick RC   +3 more
europepmc   +1 more source

Home - About - Disclaimer - Privacy