This paper presents a simple and intuitive syntax for proof nets of the multiplicative cyclic fragment (McyLL) of linear logic (LL). The proposed correctness criterion for McyLL proof nets can be considered as the non-commutative counterpart of the famous Danos contraction criterion for proof nets of the pure multiplicative fragment (MLL) of LL. Unlike the most part of current syntaxes for non-...

We extend multiplicative exponential linear logic (MELL) by a non-commutative, self-dual logical operator. The extended system, called NEL, is defined in the formalism of the calculus of structures, which is a generalisation of the sequent calculus and provides a more refined analysis of proofs. We should then be able to extend the range of applications of MELL, by modelling a broad notion of s...

Lévy’s labelled λ-calculus has played an important role in the understanding of the Geometry of Interaction and its applications to the implementation of λ-evaluators: labels relate to the multiplicative information of paths. In this paper, we generalise the structure of labels, and the underlying term structure, in order to keep track of exponential information too. We first define two labelle...

The sequent calculus admits many proofs of the same conclusion that differ only by trivial permutations of inference rules. In order to eliminate this “bureaucracy” from sequent proofs, deductive formalisms such as proof nets or natural deduction are usually used instead of the sequent calculus, for they identify proofs more abstractly and geometrically. In this paper we recover permutative can...

The calculus of structures is a proof theoretical formalism which generalizes the sequent calculus with the feature of deep inference: in contrast to the sequent calculus, inference rules can be applied at any depth inside a formula, bringing shorter proofs than all other formalisms supporting analytical proofs. However, deep applicability of inference rules causes greater nondeterminism than i...

We introduce stochastic model of chemotaxis by fractional Derivative generalizing the deterministic Keller Segel model. These models include fluctuations which are important in systems with small particle numbers or close to a critical point. In this work, we study nonlinear Dirichlet boundary conditions, and disturbed multiplicative noise. The required results prove existence uniqueness mild s...

The current paper recovers dispersive optical solitons in birefringent fibers that are modeled by the Schrödinger–Hirota equation with differential group delay and white noise. Itô Calculus conducts preliminary analysis. G′/G-expansion approach enhanced Kudryashov’s scheme gave way to a wide spectrum of soliton solutions noise component reflected phase soliton.

Grishin ([9]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([14]), who spoke of the Lambek-Grishin calculus (LG). In this paper, we adapt Girard’s polarity-sensitive double negation embedding for classical logic ([7]) to extract a compositional Montagovian semantics from a display calculus fo...

In this paper, a new variational model for restoring blurred images with multiplicative noise is proposed. Based on the statistical property of the noise, a quadratic penalty function technique is utilized in order to obtain a strictly convex model under a mild condition, which guarantees the uniqueness of the solution and the stabilization of the algorithm. For solving the new convex variation...

We consider a new way of looking at multisets, involving linear rather than multiplicative notation and operations which mirror those on natural numbers. The motivation is to create a framework for mathematics which more closely connects with scientific usage in which repetition and relative concepts of equality play an important role. The tropical calculus is introduced as an important tool. a...