#24907Our use of linear logic as a 'glue' for assembling meanings also allows for a coherent treatment ofmodification as well as of the LFG requirements of completeness and coherence.
other,3-1-E93-1013,ak
.
<term>
Semantic theories
</term>
of
<term>
natural language
</term>
associate
<term>
meanings
</term>
with
#24753Semantic theories ofnatural 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.
tech,17-5-E93-1013,ak
assembling
<term>
meanings
</term>
, based on
<term>
reasoning with constraints
</term>
, which meshes well with the unordered
#24869In contrast to compositional approaches, we present a deductive approach to assembling meanings, based onreasoning with constraints, which meshes well with the unordered nature of information in the functional structure.
tech,16-1-E93-1013,ak
</term>
for
<term>
lexical items
</term>
and
<term>
rules
</term>
for determining the
<term>
meaning
</term>
#24766Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items andrules for determining the meaning of larger units given the meanings of their parts.
other,20-2-E93-1013,ak
structure trees
</term>
are used to guide
<term>
semantic composition
</term>
. More recently , the
<term>
functional
#24801Traditionally, meanings are combined via function composition, which works well when constituent structure trees are used to guidesemantic composition.
other,0-1-E93-1013,ak
theorising is discussed in some detail .
<term>
Semantic theories
</term>
of
<term>
natural language
</term>
associate
#24750In addition, the role of modal languages (and in particular, what we have called layered modal languages) as constraint formalisms for linguistic theorising is discussed in some detail.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.
other,14-3-E93-1013,ak
</term>
has been used to provide the
<term>
syntactic information
</term>
necessary for constraining
<term>
derivations
#24818More recently, the functional structure of LFG has been used to provide thesyntactic information necessary for constraining derivations of meaning in a cross-linguistically uniform format.
other,8-1-E93-1013,ak
associate
<term>
meanings
</term>
with
<term>
utterances
</term>
by providing
<term>
meanings
</term>
#24758Semantic theories of natural language associate meanings withutterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts.