todeschini et al. have recently suggested to consider multiplicative variants of additive graphinvariants, which applied to the zagreb indices would lead to the multiplicative zagrebindices of a graph g, denoted by ( ) 1  g and ( ) 2  g , under the name first and secondmultiplicative zagreb index, respectively. these are define as  ( )21 ( ) ( )v v gg g d vand ( ) ( ) ( )( )2 g d v d v gu...

Martindale proved that under some conditions every multiplicative isomorphism between two rings is additive. In this paper, we extend this theorem to a larger class of mappings and conclude that every multiplicative $(alpha, beta)-$derivation is additive.

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

We present Classical BI (CBI), a new addition to the family of bunched logics which originates in O’Hearn and Pym’s logic of bunched implications BI. CBI differs from existing bunched logics in that its multiplicative connectives behave classically rather than intuitionistically (including in particular a multiplicative version of classical negation). At the semantic level, CBI-formulas have th...

We develop a pathwise theory for scalar conservation laws with quasilinear multiplicative rough path dependence, a special case being stochastic conservation laws with quasilinear stochastic dependence. We introduce the notion of pathwise stochastic entropy solutions, which is closed with the local uniform limits of paths, and prove that it is well posed, i.e., we establish existence, uniquenes...

Concerning the solution theory for cooperative games with transferable utility, it is wellknown that the Shapley value is the most appealing representative of the family of (not necessarily efficient) game-theoretic solutions with an additive potential representation. This paper introduces a new solution concept, called Multiplicativily Proportional (MP ) value, that can be regarded as the coun...

A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are developed, the latter in terms of (strict) indexed symmetric monoidal categories with comprehension. Various optional type formers are treated in a modular way. In ...