Abstract We prove absolute continuity of the law solution, evaluated at fixed points in time and space, to a parabolic dissipative stochastic PDE on L 2 ( G ), where is an open bounded domain $\mathbb {R}^{d}$ ℝ d with smooth boundary. The equatio...

We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin’s system for the intuitionistic case. The calculus has the nonlinear and linear implications as the basic constructs, and this design choice allows a technically managable axiomatization without commuting conversions. Despite this simplicity, the calculus is show...

We provide an alternative proof of the sequentialisation theorem for proof nets of multiplicative linear logic. Namely, we show how a proof net can be transformed into a sequent calculus proof simply by properly adding to it some special edges, called sequential edges, which express the sequentiality constraints given by sequent calculus. © 2008 Elsevier B.V. All rights reserved.

We prove that for both the Lambek calculus L and the Lambek calculus allowing empty premises L∗ the derivability problem is NP-complete. It follows that also for the multiplicative fragments of cyclic linear logic and noncommutative linear logic the derivability problem is NP-complete.

A term calculus for the proofs in multiplicative-additive linear logic is introduced and motivated as a programming language for channel based concurrency. e term calculus is proved complete for a semantics in linearly distributive categories with additives. It is also shown that proof equivalence is decidable by showing that the cut elimination rewrites supply a conžuent rewriting system modul...

In this article, a class of second order differential equations on [0, 1], driven by a γ-Hölder continuous function for any value of γ ∈ (0, 1) and with multiplicative noise, is considered. We first show how to solve this equation in a pathwise manner, thanks to Young integration techniques. We then study the differentiability of the solution with respect to the driving process and consider the...

We extend the calculus of multiplicative vector fields and differential forms and their intrinsic derivatives from Lie groups to Lie groupoids; this generalization turns out to include also the classical process of complete lifting from arbitrary manifolds to tangent and cotangent bundles. Using this calculus we give a new description of the Lie bialgebroid structure associated with a Poisson g...

We consider the problem of obtaining Hennessy-Milner soundness and completeness-the coincidence of logical equivalence and bisimilarity-in the setting of transition systems with synchronous concurrent composition. Starting from a richly expressive modal logic, motivated by resource semantics and distributed systems modelling, including both additive and multiplicative propositional connectives ...

The logic of bunched implications (BI) of O’Hearn and Pym [5] is a substructural logic which freely combines additive connectives ⊃ , ∧, ∨ from propositional logic and multiplicative connectives −?, ? from linear logic. Because of its concise yet rich representation of states of resources, BI is regarded as a logic suitable for reasoning about resources. For example, by building a model for BI ...