Related papers: The Lambek-Grishin calculus is NP-complete

In this paper, we study logics of bounded distributive residuated lattices with modal operators considering $\Box$ and $\Diamond$ in a noncommutative setting. We introduce relational semantics for such substructural modal logics. We prove…

In this work, we investigated a combined Chen-Lee-Liu derivative nonlinear Schr\"{o}dinger equation(called CLL-NLS equation by Kundu) on the half-line by unified transformation approach. We gives spectral analysis of the Lax pair for…

This paper studies the relationship between labelled and nested calculi for propositional intuitionistic logic, first-order intuitionistic logic with non-constant domains and first-order intuitionistic logic with constant domains. It is…

The concept of derivation for Lie-Yamaguti algebras is generalized in this paper. A quasi-derivation of an LY-algebra is embedded as derivation in a larger LY-algebra. The relationship between quasi-derivations and robustness of…

In this paper, we consider isotropic Mindlin-Toupin strain gradient elasticity theory in which the equilibrium equations contain two additional length-scale parameters and have the fourth order. For this theory we developed an extended form…

In this work, we prove a synthetic splitting theorem for globally hyperbolic Lorentzian length spaces with global non-negative timelike curvature containing a complete timelike line. Just like in the case of smooth spacetimes, we construct…

The Jacobian Conjecture has been reduced to the symmetric homogeneous case. In this paper we give an inversion formula for the symmetric case and relate it to a combinatoric structure called the Grossman-Larson Algebra. We use these tools…

Let $G$ be a connected reductive linear algebraic group over a field $k$. Using ideas from geometric invariant theory, we study the notion of $G$-complete reducibility over $k$ for a Lie subalgebra $\mathfrak h$ of the Lie algebra…

Let $G$ be a finite group and $p^k$ be a prime power dividing $|G|$. A subgroup $H$ of $G$ is called to be $\mathcal{M}$-supplemented in $G$ if there exists a subgroup $K$ of $G$ such that $G=HK$ and $H_iK<G$ for every maximal subgroup…

It is shown that the N-Galilean conformal algebra, with N-odd, is the maximal symmetry algebra of the free Lagrangian involving (N+1)/2-th order time derivative.

In graph realization problems one is given a degree sequence and the task is to decide whether there is a graph whose vertex degrees match to the given sequence. This realization problem is known to be polynomial-time solvable when the…

First-order multiplicative intuitionistic linear logic (MILL1) can be seen as an extension of the Lambek calculus. In addition to the fragment of MILL1 which corresponds to the Lambek calculus (of Moot & Piazza 2001), I will show fragments…

Let $\mathcal{R}$ be a free Lie conformal algebra of rank $2$ with $\mathbb{C}[\partial]$-basis $\{L,I\}$ and relations \begin{eqnarray*} \left[L_{\lambda} L\right]=(\partial+2 \lambda) (L+I),\ \left[L_{\lambda} I\right]=(\partial+\lambda)…

0-1 Knapsack is a fundamental NP-complete problem. In this article we prove that it remains NP-complete even when the weights of the objects in the packing constraints and their values in the objective function satisfy specific stringent…

We prove that it is NP-complete to decide whether a given (3-dimensional) simplicial complex is collapsible. This work extends a result of Malgouyres and Franc\'{e}s showing that it is NP-complete to decide whether a given simplicial…

This paper is concerned with developing accurate and efficient numerical methods for fully nonlinear second order elliptic and parabolic partial differential equations (PDEs) in multiple spatial dimensions. It presents a general framework…

The paper is devoted studying solvable Leibniz algebras with a nilradical possessing the codimension equals the number of its generators. We describe this class in non-split nilradical case. Then the case of split nilradical is worked out.…

In this paper, we study a non-Markovian generalized relativistic Langevin equation (GRLE). We show that when the memory kernel is a sum of exponentials, the GRLE is equivalent to a Markovian system with added variables. We establish the…

We examine critically the Gambier equation and show that it is the generic linearisable equation containing, as reductions, all the second-order equations which are integrable through linearisation. We then introduce the general discrete…

In this paper, a discontinuous Galerkin finite element method of Nitsche's version for the Steklov eigenvalue problem in linear elasticity is presented. The a priori error estimates are analyzed under a low regularity condition, and the…