Morrill, G. (1994), `Structural facilitation and structural inhibition'. In  Home/Search   Document Details and Download   Summary   Related Articles   Check

....1 A) # = B # 0 2A # The L system has an associative resource management which is insensitive to constituent bracketing. Extending L with the operators #, 2 we can recover control over associativity in the sense of Prop 4.21. A conjecture of embedding on the basis of # can be found in [Morrill 94b] Proposition 4.21 Dominance structure: recovering control ( Kurtonina Moortgat 95] NL # A # B iff L##A # # B # Consider next the other direction of communication: suppose one wants to obtain the structural flexibility of L within the system NL with its rigid constituent ....

Morrill, G. (1994), `Structural facilitation and structural inhibition'. In

....relating two sequences of formulae, each of them built by a constructor (the comma) which is associative or not, commutative or not. This gives raise to systems dealing with lists (L) multisets (LP) or binary trees (NL) Flexibility is added by the use of the so called structural modalities [Moo94, Mor94]. In this paper we aim at introducing a formalism which directly processes partially ordered multisets. This formalism, which is called POMset Logic, was introduced in [Ret93] and was rather thought as a link between concurrency and linear logic [Ret93, Ret95, Asp91, AD94] Such a calculus shares ....

Glyn Morrill. Structural facilitation and structural inhibition. In M. Abrusci, C. Casadio, and M. Moortgat, editors, Linear Logic and Lambek calculus, Roma, 1994. DYANA.

....] n 0 2 # A ] The L system has an associative resource management which is insensitive to constituent bracketing. Extending L with the operators 3; 2 # we can recover control over associativity in the sense of Prop 4.21. A conjecture of embedding on the basis of Delta [ can be found in [Morrill 94b] Proposition 4.21. Dominance structure: recovering control ( Kurtonina Moortgat 95] NL A B iff L3 A [ B [ Consider next the other direction of communication: suppose one wants to obtain the structural flexibility of L within the system NL with its rigid constituent sensitivity. ....

Morrill, G. (1994), `Structural facilitation and structural inhibition'. In

....in addition to the binary multiplicatives. Apart from the structural modalities, we can mention the domain modalities of Morrill and Hepple, identifying semantic intensionality domains ( 39] or purely syntactic domains of locality ( 23] the bracket operators [ Gamma1 of Morrill [40, 41], implementing locality domains in a different way, or the 3 operator of Morrill [40] declaring argument positions as licensing extraction. Our aim in this section is to develop a general framework that will naturally accommodate the different proposals for unary operators while at the same time ....

Morrill, G. (1994) `Structural facilitation and structural inhibition'. In [1].

....VP modifiers: 10 does too xy( x y) y) VPnVP) VP)#(VPnVP) 25) The antecedent VP semantics is supplied at both its own position, and that of the auxiliary element. Thus there is the derivation of Dan likes golf and George does too in figure 1. 9 For locality constraints see also Morrill (1992, 1994a, ch. 7, 1994b) 10 We need the discontinuity apparatus since the auxiliary element may be medial, e.g. Dan likes golf and George does too probably , where the adverb may scope over just the second conjunct. GENERALISING DISCONTINUITY Dan: N likes golf: VP and: SnS) S George: N does too 3 c: VP nE ....

MORRILL, G. (1994b): `Structural Facilitation and Structural Inhibition', in M. Abrusci, C. Casadio, M. Moortgat (eds.) Linear Logic and Lambek Calculus (ESPRIT BRA 6852 DYANA-2), 183--210. Also available as research report LSI--94--26--R, Departament de Llenguatges i Sistemes Inform`atics, Universitat Polit`ecnica de Catalunya.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC