Gentzen systems are introduced for Spinks and Veroff’s substructural logic corresponding to constructive logic with strong negation, and some logics in its vicinity. It has been shown by Spinks and Veroff in [9], [10] that the variety of Nelson algebras, the algebras of constructive logic with strong negation N, is term-equivalent to a certain variety of bounded commutative residuated lattices ...

In this paper the Archimedean property of t-norms on the lattice L is investigated, where L is the underlying lattice of interval-valued fuzzy set theory (Sambuc, 1975) and intuitionistic fuzzy set theory (Atanassov, 1983). We discuss also two additional variations on this property: the weak and strong Archimedean property.

Combining intuitionistic fuzzy sets and filter theory,we studied interval valued intuitionistic (T, S)-fuzzy filters on lattice implication algebras. some relation properties of it are obtained, the relation between intuitionistic (T, S)-fuzzy filters and intuitionistic fuzzy set are discussed.The investigation method and content of lattice implication algebras are extended. Mathematics Subject...

Abstract. Let u(x, t) be the solution to the free time-dependent Schrödinger equation at the point (x, t) in space-time Rn+1 with initial data f . We characterize the size of u in terms Lp(Lq)-estimates with power weights. Our bounds are given by norms of f in homogeneous Sobolev spaces Ḣs (Rn). Our methods include use of spherical harmonics, uniformity properties of Bessel functions and interp...

Let u(x; t) be the solution to the free time-dependent Schrr odinger equation at the point (x; t) in space-time R n+1 with initial data f. We characterize the size of u in terms L p (L q)-estimates with power weights. Our bounds are given by norms of f in homogeneous Sobolev spaces _ H s (R n). Our methods include use of spherical harmonics, uniformity properties of Bessel functions and interpo...

Let u(x; t) be the solution to the free time-dependent Schrr odinger equation at the point (x; t) in space-time R n+1 with initial data f. We characterize the size of u in terms L p (L q)-estimates with power weights. Our bounds are given by norms of f in homogeneous Sobolev spaces _ H s (R n). Our methods include use of spherical harmonics, uniformity properties of Bessel functions and interpo...

Suppose (Ω, ∗, I) is a commutative, unital quantale. Categories enriched over Ω can be studied as generalized, or many-valued, ordered structures. Because many concepts, such as complete distributivity, in lattice theory can be characterized by existence of certain adjunctions, they can be reformulated in the many-valued setting in terms of categorical postulations. So, it is possible, by aid o...

Lattices are a popular field of study in mathematical research, but also more practical areas like cryptology or multiple-input/multiple-output (MIMO) transmission. In theory, most often lattices over real numbers considered. However, communications, complex-valued processing is usually interest. Besides, by the use dual-polarized transmission as well combination two time slots frequencies, fou...