Branching bisimilarity on normed Basic Process Algebra (BPA) was claimed to be EXPTIMEhard in previous papers without any explicit proof. Recently it is reminded by Jančar that the claim is not so dependable. In this paper, we develop a new complete proof for EXPTIMEhardness of branching bisimilarity on normed BPA. We also prove the associate regularity problem on normed BPA is PSPACE-hard and ...

The concept of statistical convergence was presented by Steinhaus in 1951. This concept was extended to the double sequences by Mursaleen and Edely in 2003. Karakus has recently introduced the concept of statistical convergence of ordinary (single) sequence on probabilistic normed spaces. In this paper, we define statistical analogues of convergence and Cauchy for double sequences on probabilis...

We extend the Khinchin–Kahane inequality to an arbitrary abelian metric group G . In the special case where G is normed, we prove a refinement which is sharp and which extends the sharp version for Banach spaces. We also provide an alternate proof for normed metric groups as a consequence of a general “transfer principle”. This transfer principle has immediate applications to stochastic inequal...

Introducing the concept of the normalized duality mapping on normed linear space and normed algebra, we extend the usual definitions of the numerical range from one operator to two operators. In this note we study the convexity of these types of numerical ranges in normed algebras and linear spaces. We establish some Birkhoff-James orthogonality results in terms of the algebra numerical range V...

The search for a semantics for higher-order quantum computation leads naturally to the study of categories of normed cones. In the first part of this paper, we develop the theory of continuous normed cones, and prove some of their basic properties, including a Hahn-Banach style theorem. We then describe two different concrete ∗-autonomous categories of normed cones. The first of these categorie...

P.Kostyrko et al [10] introduced the concept of Iconvergence of sequence in metric space and studied some properties of such convergence. Since then many author have been studied these subject and obtained various results [29,30,31,32,?] Note that I-convergence is an interesting generalization of statistical convergence. The concept of 2-normed space was initially introduced by Gähler [7] as an...

in this paper, we prove the generalized hyers-ulam(or hyers-ulam-rassias ) stability of the following composite functional equation f(f(x)-f(y))=f(x+y)+f(x-y)-f(x)-f(y) in various normed spaces.

We carry out a systematic study of decidability for theories of (a) real vector spaces, inner product spaces, and Hilbert spaces and (b) normed spaces, Banach spaces and metric spaces, all formalised using a 2-sorted first-order language. The theories for list (a) turn out to be decidable while the theories for list (b) are not even arithmetical: the theory of 2-dimensional Banach spaces, for e...