In this paper, we introduce the idea of relative order and type of entire functions represented by Banach valued Dirichlet series of two complex variables to generalize some earlier results. Proving some preliminary theorems on the relative order, we obtain sum and product theorems and we show that the relative order of an entire function represented by Dirichlet series is the same as that of i...

Set-valued information systems are generalized single-valued information systems. In this paper, by introducing a type of dominance relation to set-valued ordered information systems, we establish dominance-based rough set approach and propose a ranking approach for all objects based on the dominance classes. Furthermore, we discuss dominance rules, propose attribute reductions of consistent se...

Closed classes of three-valued logic generated by periodic symmetric funtions that equal 1 in tuples from {1, 2} and equal 0 on the rest tuples are considered. Criteria for bases existence and finite bases existence for these classes is obtained. The problem of the bases existence for some families of closed classes of the three-valued logic functions is considered in the paper. E. Post [1] (se...

Partial functions are abundant in mathematics and program specifications. Unfortunately, their importance has been mostly ignored in automated theorem proving. In this paper, we develop a theorem proving strategy for Partial Classical Logic (PCL). Proof search takes place in Kleene Logic. We show that PCL theories can be translated into equivalent sets of formulas in Kleene logic. For proof sea...

Łukasiewicz three-valued logic Ł3 is often understood as the set of 3-valued valid formulas according to Łukasiewicz’s 3-valued matrices. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: “well-determined” Ł3a and “truth-preserving” Ł3b defined by two different consequence relations on the 3-valued matrices. The aim of this paper is to provide (by using D...

We address the question of a Berry Esseen type theorem for the speed of convergence in a multivariate free central limit theorem. For this, we estimate the difference between the operator-valued Cauchy transforms of the normalized partial sums in an operator-valued free central limit theorem and the Cauchy transform of the limiting operator-valued semicircular element.

in this paper, the notions of $(t,s)$-composition matrix and$(t,s)$-interval-valued intuitionistic fuzzy equivalence matrix areintroduced where $(t,s)$ is a dual pair of triangular module. theyare the generalization of composition matrix and interval-valuedintuitionistic fuzzy equivalence matrix. furthermore, theirproperties and characterizations are presented. then a new methodbased on $tilde{...

This paper is a follow-up to [10], in which the author showed that the only real-valued finite type invariants of link homotopy are the linking numbers of the components. In this paper, we extend the methods used to show that the only real-valued finite type invariants of link concordance are, again, the linking numbers of the components.

This paper is a follow-up to [10], in which the author showed that the only real-valued finite type invariants of link homotopy are the linking numbers of the components. In this paper, we extend the methods used to show that the only real-valued finite type invariants of link concordance are, again, the linking numbers of the components.

In this paper, we prove some common fixed point results for pair of rational type of contractive mappings in the setting of complex valued b-metric spaces. Our results extend, generalize and improve the corresponding results of A. K .Dubey’ [48]. Key word: Complex valued b-metric space; common fixed point; Rational expression type of contractive mappings.