We formulate and investigate a bi-intuitionistic extension, BiBBI, of the well known bunched logic Boolean BI (BBI), obtained by combining classical logic with full intuitionistic linear logic as considered by Hyland and de Paiva (as opposed to standard multiplicative intuitionistic linear logic). Thus, in addition to the multiplicative conjunction ∗ with its adjoint implication —∗ and unit ⊤∗,...

We formulate and investigate a bi-intuitionistic extension, BiBBI, of the well known bunched logic Boolean BI (BBI), obtained by combining classical logic with full intuitionistic linear logic as considered by Hyland and de Paiva (as opposed to standard multiplicative intuitionistic linear logic). Thus, in addition to the multiplicative conjunction ∗ with its adjoint implication —∗ and unit ⊤∗,...

We derive new, very precise estimates for averages of arithmetic functions over friable integers from analytic information on their associated Dirichlet series. These yield significant improvements upon available results in classical cases, in particular concerning the effective expansion of “abstract” main terms of de Bruijn type. These results also permit new applications, linked to the solub...

Nous étudions la forme de densité ρ(t,x;y) solution u(t,x) l’équation différentielle partielle stochastique ∂∂tu(t,x)=12Δu(t,x)+u◇W˙(t,x), où W˙ est un bruit gaussien général et ◇ désigne le produit Wick. visons principalement au comportement asymptotique quand y→∞ ou t→0+. À fois des bornes supérieur inférieures sont obtenues ces deux correspondent modulo à certaines constantes multiplicatives...