We consider a cumulative hierarchy of multisets over some set of urelements, equipped with additive union ] and a transform relation ¤, and investigate the Horn fragments of Intuitionistic Linear Logic (ILL) that are interpretable in it. The operator ! is defined in an asymptotic way which causes some deviations from the linear-theoretic behavior. Soundness, completeness and partial completenes...

We describe a uniform logical framework, based on a bunched logic that combines classical additives and very weak multiplicatives, for reasoning compositionally about access control policy models. We show how our approach takes account of the underlying system architecture, and so provides a way to identify and reason about how vulnerabilities may arise (and be removed) as a result of the archi...

moslehian  and mirmostafaee, investigated the fuzzystability problems for the cauchy additive functional equation, the jensen additivefunctional equation and the cubic functional equation in fuzzybanach spaces. in this paper, we investigate thegeneralized hyers–-ulam--rassias stability of the generalizedadditive functional equation with $n$--variables, in fuzzy banachspaces. also, we will show ...

In this work we continue the study of the Weyl asymptotics of the distribution of eigenvalues of non-self-adjoint (pseudo)differential operators with small random perturbations, by treating the case of multiplicative perturbations in arbitrary dimension. We were led to quite essential improvements of many of the probabilistic aspects. Résumé Dans ce travail nous continuons l’étude de l’asymptot...