We present a sequent calculus for intuitionistic non-commutative linear logic (INCLL), show that it satisfies cut elimination, and investigate its relationship to a natural deduction system for the logic. We show how normal natural deductions correspond to cut-free derivations, and arbitrary natural deductions to sequent derivations with cut. This gives us a syntactic proof of normalization for...

This paper encloses a complete and explicit description of the derivations of the Lie algebra D(M) of all linear differential operators of a smooth manifold M , of its Lie subalgebra D 1 (M) of all linear first-order differential operators of M , and of the Poisson algebra S(M) = Pol(T * M) of all polynomial functions on T * M, the symbols of the operators in D(M). It turns out that, in terms o...

The equivalence principle is treated on a mathematically rigorous base on sufficiently general subsets of a differentiable manifold. This is carried out using the basis of derivations of the tensor algebra over that manifold. Necessary and/or sufficient conditions of existence, uniqueness, and holonomicity of these bases in which the components of the derivations of the tensor algebra over it v...

Recently, the algebraic theory of MV -algebras is intensively studied. In this paper, we extend the concept of derivation of $MV$-algebras and we give someillustrative examples. Moreover, as a generalization of derivations of $MV$ -algebraswe introduce the notion of $f$-derivations and $(f; g)$-derivations of $MV$-algebras.Also, we investigate some properties of them.

Objective: This paper aims to introduce a modified kernel-type ridge estimator for partially linear models under randomly-right censored data. Such models include two main issues that need to be solved: multi-collinearity and censorship. To address these issues, we improved the kernel estimator based on synthetic data transformation and kNN imputation techniques. The key idea of this paper is t...

This paper encloses a complete and explicit description of the derivations of the Lie algebra D(M) of all linear differential operators of a smooth manifold M , of its Lie subalgebra D 1 (M) of all linear first-order differential operators of M , and of the Poisson algebra S(M) = P ol(T * M) of all polynomial functions on T * M, the symbols of the operators in D(M). It turns out that, in terms ...

We start with the simple case of studying the relationship between a response variable Y and a predictor variable X I . Since we have only one predictor variable, we shall drop the subscript in X I and use X for simplicity. We discuss covariance and correlation coefficient as measures of the direction and strength of the linear relationship between the two variables. Simple linear regression mo...

We introduce Courant 1-derivations, which describe a compatibility between algebroids and linear (1,1)-tensor fields lead to the notion of Courant-Nijenhuis algebroids. provide examples 1-derivations on exact show that holomorphic can be viewed as special types By considering Dirac structures, one recovers Dirac-Nijenhuis structures previously studied by authors (in case standard algebroid) obt...