*Correspondence: [email protected]; [email protected]; [email protected] 1School of Mathematics and Computational Science, Xiangtan University, Xiangtan, Hunan 411105, P.R. China Full list of author information is available at the end of the article Abstract In this paper, we investigate the closure property ofH-tensors under the Hadamard product. It is shown that the Hadamard products of Had...

The main purpose of this paper is to investigate some kinds of nonlinear complementarity problems (NCP). For the structured tensors, such as, symmetric positive definite tensors and copositive tensors, we derive the existence theorems on a solution of these kinds of nonlinear complementarity problems. We prove that a unique solution of the NCP exists under the condition of diagonalizable tensors.

In his well-known paper \How computer should think" ((Be77b]) Belnap argues that four valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg's well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras. Speciically, w...

Axiomatic bases of admissible rules are obtained for fragments of the substructural logic R-mingle. In particular, it is shown that a “modus-ponens-like” rule introduced by Arnon Avron forms a basis for the admissible rules of its implication and implication-fusion fragments, while a basis for the admissible rules of the full multiplicative fragment requires an additional countably infinite set...

energy equation for turbulent flow in a rotating system was derived in terms of second order correlation tensors, where the correlation tensors were functions of space coordinates, distance between two points and time. to reveal the relationship of turbulent energy between two points, one point was taken as origin of the coordinate system. due to rotation, the coriolis force played an important...

Abstract We develop a geometric formulation of fluid dynamics, valid on arbitrary Riemannian manifolds, that regards the momentum-flux and stress tensors as 1-form-valued 2-forms, their divergence covariant exterior derivative. review necessary tools differential geometry obtain corresponding coordinate-free form equations motion for variety inviscid models—compressible incompressible Euler equ...