We propose new interior projection type methods for solving monotone variational inequalities. The methods can be viewed as a natural extension of the extragradient and hyperplane projection algorithms, and are based on using non Euclidean projection-like maps. We prove global convergence results and establish rate of convergence estimates. The projection-like maps are given by analytical formu...

‎let $x,y$ be normed spaces with $l(x,y)$ the space of continuous‎ ‎linear operators from $x$ into $y$‎. ‎if ${t_{j}}$ is a sequence in $l(x,y)$,‎ ‎the (bounded) multiplier space for the series $sum t_{j}$ is defined to be‎ [ ‎m^{infty}(sum t_{j})={{x_{j}}in l^{infty}(x):sum_{j=1}^{infty}%‎ ‎t_{j}x_{j}text{ }converges}‎ ‎]‎ ‎and the summing operator $s:m^{infty}(sum t_{j})rightarrow y$ associat...

In this paper, extension of the EQ-logic by the ∆connective is introduced. The former is a new kind of many-valued logic which based on EQ-algebra of truth values, i.e. the algebra in which fuzzy equality is the fundamental operation and implication is derived from it. First, we extend the EQ-algebra by the ∆ operation and then introduce axioms and inference rules of EQ∆-logic. We also prove th...

A hyperconvex disc of radius r is a planar set with nonempty interior that is the intersection of closed circular discs of radius r. A convex disc-polygon of radius r is a set with nonempty interior that is the intersection of a finite number of closed circular discs of radius r. We prove that the maximum area and perimeter of convex disc-n-gons of radius r contained in a hyperconvex disc of ra...

Let $G$ be a locally compact group, $H$ be a compact subgroup of $G$ and $varpi$ be a representation of the homogeneous space $G/H$ on a Hilbert space $mathcal H$. For $psi in L^p(G/H), 1leq p leqinfty$, and an admissible wavelet $zeta$ for $varpi$, we define the localization operator $L_{psi,zeta} $ on $mathcal H$ and we show that it is a bounded operator. Moreover, we prove that the localizat...

R. Meyer and E. Mares [10] studied the logic CNR, a classical relevant logic with a modal connective. Such logic is of type S4. As it has been noted in [10], the addition of a modal operator in the language of classical relevant logic and the axioms φ ∧ ψ → (φ ∧ ψ) and (φ ∧ ψ) → ( φ ∧ ψ) do not necessarily produce theorems such that as (φ→ ψ) → φ → ψ or (♦φ→ ψ) → (φ→ ψ). These formulas are well...

For a particle in box, the operator p̂=−i∂x is not self-adjoint. We provide an alternative construction of momentum p̂R+ip̂I, which has two self-adjoint components p̂R and p̂I. This leads to description measurements performed on that strictly limited interior box size L, yields quantized values πn/L with n∈Z.Received 22 December 2020Revised 14 July 2021Accepted 15 September 2021DOI:https://doi.org/1...

Modal Kleene algebras are Kleene algebras enriched by forward and backward box and diamond operators. We formalise the symmetries of these operators as Galois connections, complemetarities and dualities. We study their properties in the associated operator algebras and show that the axioms of relation algebra are theorems at the operator level. Modal Kleene algebras provide a unifying semantics...