In this paper, at first the elemantary and basic concepts of multiplicative discrete and continous differentian and integration introduced. Then for these kinds of differentiation invariant functions the general solution of discrete and continous multiplicative differential equations will be given. Finaly a vast class of difference equations with variable coefficients and nonlinear difference e...

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 ...

This article defines and studies a natural deduction system for partially commutative intuitionistic multiplicative linear logic, that is a combination of intuitionistic commutative linear logic with the Lambek calculus, which is noncommutative, and was first introduced as a sequent calculus by de Groote. In this logic, the hypotheses are endowed with a series-parallel partial order: the parall...

We give some basic results of the theory of proof nets for multiplicative linear logic and multiplicative exponential linear logic with mix. The relation between proof nets and the lambda-calculus is precisely described. 1 Multiplicative Proof Nets 1.1 Multiplicative Linear Logic We assume given a denumerable set of atoms X, Y , . . . The formulas of multiplicative linear logic (MLL) are define...

This paper focuses on the study of existence a mild solution to time and space-fractional stochastic equation perturbed by multiplicative white noise. The required results are obtained analysis techniques, fractional calculus, semigroup theory Leray-Schauder nonlinear alternative.

The paper develops multiplicative compensation for complex-valued semimartingales and studies some of its consequences. It is shown that the stochastic exponential any semimartingale with independent increments becomes a true martingale after when such meaningful. This generalization L\'evy--Khintchin formula fills an existing gap in literature. allows, example, computation Mellin transform sig...

The aim of this work is to give an alternative presentation for the multiplicative fragment of Yetter’s cyclic linear logic. The new presentation is inspired by the calculus of structures, and has the interesting feature of avoiding the cyclic rule. The main point in this work is to show how cyclicity can be substituted by deepness, i.e. the possibility of applying an inference rule at any poin...