In addition , the role of
<term>
modal languages
</term>
( and in particular , what we have called
<term>
layered modal languages
</term>
) as
<term>
constraint formalisms
</term>
for linguistic theorising is discussed in some detail .
<term>
Semantic theories
</term>
of
<term>
natural language
</term>
associate
<term>
meanings
</term>
with
<term>
utterances
</term>
by providing
<term>
meanings
</term>
for
<term>
lexical items
</term>
and
<term>
rules
</term>
for determining the
<term>
meaning
</term>
of larger units given the
<term>
meanings
</term>
of their parts .
#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,31-6-E93-1013,ak
Our use of
<term>
linear logic
</term>
as a ' glue ' for assembling
<term>
meanings
</term>
also allows for a coherent treatment of
<term>
modification
</term>
as well as of the LFG requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
.
#24918Our use of linear logic as a 'glue' for assembling meanings also allows for a coherent treatment of modification as well as of the LFG requirements of completeness andcoherence.
tech,16-1-E93-1013,ak
<term>
Semantic theories
</term>
of
<term>
natural language
</term>
associate
<term>
meanings
</term>
with
<term>
utterances
</term>
by providing
<term>
meanings
</term>
for
<term>
lexical items
</term>
and
<term>
rules
</term>
for determining the
<term>
meaning
</term>
of larger units given the
<term>
meanings
</term>
of their parts .
#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,12-6-E93-1013,ak
Our use of
<term>
linear logic
</term>
as a ' glue ' for assembling
<term>
meanings
</term>
also allows for a coherent treatment of
<term>
modification
</term>
as well as of the LFG requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
.
#24899Our use of linear logic as a 'glue' for assemblingmeanings also allows for a coherent treatment of modification as well as of the LFG requirements of completeness and coherence.
other,13-5-E93-1013,ak
In contrast to compositional approaches , we present a deductive approach to assembling
<term>
meanings
</term>
, based on
<term>
reasoning with constraints
</term>
, which meshes well with the unordered nature of
<term>
information
</term>
in the
<term>
functional structure
</term>
.
#24865In contrast to compositional approaches, we present a deductive approach to assemblingmeanings, based on reasoning with constraints, which meshes well with the unordered nature of information in the functional structure.
other,6-1-E93-1013,ak
<term>
Semantic theories
</term>
of
<term>
natural language
</term>
associate
<term>
meanings
</term>
with
<term>
utterances
</term>
by providing
<term>
meanings
</term>
for
<term>
lexical items
</term>
and
<term>
rules
</term>
for determining the
<term>
meaning
</term>
of larger units given the
<term>
meanings
</term>
of their parts .
#24756Semantic theories of natural language associatemeanings 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-4-E93-1013,ak
It has been difficult , however , to reconcile this approach with the combination of
<term>
meanings
</term>
by
<term>
function composition
</term>
.
#24849It has been difficult, however, to reconcile this approach with the combination of meanings byfunction composition.
other,19-3-E93-1013,ak
More recently , the
<term>
functional structure
</term>
of
<term>
LFG
</term>
has been used to provide the
<term>
syntactic information
</term>
necessary for constraining
<term>
derivations
</term>
of
<term>
meaning
</term>
in a cross-linguistically uniform format .
#24823More recently, the functional structure of LFG has been used to provide the syntactic information necessary for constrainingderivations of meaning in a cross-linguistically uniform format.
other,13-1-E93-1013,ak
<term>
Semantic theories
</term>
of
<term>
natural language
</term>
associate
<term>
meanings
</term>
with
<term>
utterances
</term>
by providing
<term>
meanings
</term>
for
<term>
lexical items
</term>
and
<term>
rules
</term>
for determining the
<term>
meaning
</term>
of larger units given the
<term>
meanings
</term>
of their parts .
#24763Semantic theories of natural language associate meanings with utterances by providing meanings forlexical items and rules for determining the meaning of larger units given the meanings of their parts.
other,20-2-E93-1013,ak
Traditionally , meanings are combined via
<term>
function composition
</term>
, which works well when
<term>
constituent structure trees
</term>
are used to guide
<term>
semantic composition
</term>
.
#24801Traditionally, meanings are combined via function composition, which works well when constituent structure trees are used to guidesemantic composition.
other,15-4-E93-1013,ak
It has been difficult , however , to reconcile this approach with the combination of
<term>
meanings
</term>
by
<term>
function composition
</term>
.
#24847It has been difficult, however, to reconcile this approach with the combination ofmeanings by function composition.
other,21-3-E93-1013,ak
More recently , the
<term>
functional structure
</term>
of
<term>
LFG
</term>
has been used to provide the
<term>
syntactic information
</term>
necessary for constraining
<term>
derivations
</term>
of
<term>
meaning
</term>
in a cross-linguistically uniform format .
#24825More recently, the functional structure of LFG has been used to provide the syntactic information necessary for constraining derivations ofmeaning in a cross-linguistically uniform format.
other,29-5-E93-1013,ak
In contrast to compositional approaches , we present a deductive approach to assembling
<term>
meanings
</term>
, based on
<term>
reasoning with constraints
</term>
, which meshes well with the unordered nature of
<term>
information
</term>
in the
<term>
functional structure
</term>
.
#24881In contrast to compositional approaches, we present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature ofinformation in the functional structure.
other,29-6-E93-1013,ak
Our use of
<term>
linear logic
</term>
as a ' glue ' for assembling
<term>
meanings
</term>
also allows for a coherent treatment of
<term>
modification
</term>
as well as of the LFG requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
.
#24916Our use of linear logic as a 'glue' for assembling meanings also allows for a coherent treatment of modification as well as of the LFG requirements ofcompleteness and coherence.
other,7-3-E93-1013,ak
More recently , the
<term>
functional structure
</term>
of
<term>
LFG
</term>
has been used to provide the
<term>
syntactic information
</term>
necessary for constraining
<term>
derivations
</term>
of
<term>
meaning
</term>
in a cross-linguistically uniform format .
#24811More recently, the functional structure ofLFG has been used to provide the syntactic information necessary for constraining derivations of meaning in a cross-linguistically uniform format.
other,3-1-E93-1013,ak
<term>
Semantic theories
</term>
of
<term>
natural language
</term>
associate
<term>
meanings
</term>
with
<term>
utterances
</term>
by providing
<term>
meanings
</term>
for
<term>
lexical items
</term>
and
<term>
rules
</term>
for determining the
<term>
meaning
</term>
of larger units given the
<term>
meanings
</term>
of their parts .
#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.
other,20-6-E93-1013,ak
Our use of
<term>
linear logic
</term>
as a ' glue ' for assembling
<term>
meanings
</term>
also allows for a coherent treatment of
<term>
modification
</term>
as well as of the LFG requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
.
#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.
tech,3-6-E93-1013,ak
Our use of
<term>
linear logic
</term>
as a ' glue ' for assembling
<term>
meanings
</term>
also allows for a coherent treatment of
<term>
modification
</term>
as well as of the LFG requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
.
#24890Our use oflinear logic as a 'glue' for assembling meanings also allows for a coherent treatment of modification as well as of the LFG requirements of completeness and coherence.
tech,17-5-E93-1013,ak
In contrast to compositional approaches , we present a deductive approach to assembling
<term>
meanings
</term>
, based on
<term>
reasoning with constraints
</term>
, which meshes well with the unordered nature of
<term>
information
</term>
in the
<term>
functional structure
</term>
.
#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.
other,11-1-E93-1013,ak
<term>
Semantic theories
</term>
of
<term>
natural language
</term>
associate
<term>
meanings
</term>
with
<term>
utterances
</term>
by providing
<term>
meanings
</term>
for
<term>
lexical items
</term>
and
<term>
rules
</term>
for determining the
<term>
meaning
</term>
of larger units given the
<term>
meanings
</term>
of their parts .
#24761Semantic theories of natural language associate meanings with utterances by providingmeanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts.