Girard, J.-Y., (1994) `Light Linear Logic: extended abstract'. Ms LMD, Marseille. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Multimodal Linguistic Inference - Moortgat (1995) (13 citations) (Correct)
....or via implicational postulates, if we prefer to keep the language product free. In a similar vein we could have presented T ; 4; K in their 2 forms: 42 : 2A 22A T2 : 2A A K2= 2(A=B) 2A=2B K2n : 2(BnA) 2Bn2A 4 For a related decomposition of the S4 modality of Linear Logic, see [9, 19]. Below an illustration for the derivation of the universal variant K2= B ) B A ) A (A=B;B) A =L ( 2(A=B) Pi ; 2B) Pi ) A 2L;2L ( 2(A=B) 2B) Pi ) A K (2(A=B) 2B) 2A 2R 2(A=B) 2A=2B =R S4: Compilation of structural rules. We saw above that in the presence of ....
Girard, J.-Y., (1994) `Light Linear Logic: extended abstract'. Ms LMD, Marseille.
Specifying Syntactic Structures - Blackburn, (Eds.) (Correct)
....considerations. For reasons quite different from ours, and for different types of models, a number of recent proposals in the field of Linear Logic proper have argued for a decomposition of the , modalities into more elementary operators. For comparison we refer the reader to Bucalo 1994, Girard 1995. The price of diamonds. We have compared logics with a standard language of binary multiplicatives with systems where the formula language is extended with the unary logical constants 3; 2 # . The unary operators, one could say, are the price one has to pay to gain structural control. Do we ....
Girard, J.-Y., (1995) `Light Linear Logic: extended abstract'. Ms LMD, Marseille.
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