Results 41 to 50 of about 2,544 (97)
Obligations of the "Gift": Reciprocity and Responsibility in Precision Medicine. [PDF]
Lee SS.
europepmc +1 more source
A Labelled Analytic Theorem Proving Environment for Categorial Grammar
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
Toward a sociology of finitude: life, death, and the question of limits. [PDF]
Livne R.
europepmc +1 more source
Linear Logic for Meaning Assembly
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]
openaire +2 more sources
LC Graphs for the Lambek Calculus with Product [PDF]
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]
Berwick RC +3 more
europepmc +1 more source
Visual Analysis of Research Paper Collections Using Normalized Relative Compression. [PDF]
Vázquez PP.
europepmc +1 more source

