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.
other,29-5-E93-1013,ak
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,32-5-E93-1013,ak
nature of
<term>
information
</term>
in the
<term>
functional structure
</term>
. Our use of
<term>
linear logic
</term>
#24884In contrast to compositional approaches, we present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature of information in thefunctional structure.
tech,3-6-E93-1013,ak
functional structure
</term>
. Our use of
<term>
linear logic
</term>
as a ' glue ' for assembling
<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.
other,12-6-E93-1013,ak
</term>
as a ' glue ' for assembling
<term>
meanings
</term>
also allows for a coherent treatment
#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,20-6-E93-1013,ak
allows for a coherent treatment of
<term>
modification
</term>
as well as of the LFG requirements
#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,29-6-E93-1013,ak
well as of the LFG requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
. We describe
#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,31-6-E93-1013,ak
requirements of
<term>
completeness
</term>
and
<term>
coherence
</term>
. We describe a
<term>
computational
#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.