We prove a full completeness theorem for multiplicative-additive linear logic (i.e. MALL) using a double gluing construction applied to Ehrhardâ€™s âˆ—-autonomous category of hypercoherences. This is theâ€¦ (More)

We prove that the full completeness theorem for MLL+Mix holds by the simple interpretation via formulas as objects and proofs as Z-invariant morphisms in the âˆ—-autonomous category of topologizedâ€¦ (More)

This paper presents a polarized phase semantics, with respect to which the linear fragment of second order polarized linear logic of [Laurent 99] is complete. This is done by adding a topologicalâ€¦ (More)

We present an indexed logical system MALLP(I) for Laurentâ€™s multiplicative additive polarized linear logic (MALLP) [14]. The system is a polarized variant of Bucciarelli-Ehrhardâ€™s indexed system forâ€¦ (More)

RNA interference (RNAi) is a mechanism whereby small RNAs (siRNAs) directly control gene expression without assistance from proteins. This mechanism consists of interactions between RNAs and smallâ€¦ (More)

RNA interference (RNAi) is a mechanism whereby small pieces of RNA directly control gene expression in target messenger RNA by identifying complementary sequences. We model RNAi in terms ofâ€¦ (More)

This paper presents, for the first time, a Geometry of Interaction (GoI) interpretation using Hughes-vanGlabbeek (HvG) proof-nets for multiplicative additive linear logic (MALL). Our GoI capturesâ€¦ (More)

In recent years, the diet of the young Japanese has changed to westernized diet with high fat content. Childhood-onset type 1 diabetic patients have had good diet training since onset of the disease,â€¦ (More)