The aim of this paper is to extend the truth value table oflattice-valued convergence spaces to a more general case andthen to use it to introduce and study the quantale-valued fuzzy Scotttopology in fuzzy domain theory. Let $(L,*,varepsilon)$ be acommutative unital quantale and let $otimes$ be a binary operationon $L$ which is distributive over nonempty subsets. The quadruple$(L,*,otimes,varep...

In this paper, we considered a Stochastic Interval-Valued Linear Fractional Programming problem(SIVLFP). In this problem, the coefficients and scalars in the objective function are fractional-interval, and technological coefficients and the quantities on the right side of the constraints were random variables with the specific distribution. Here we changed a Stochastic Interval-Valued Fractiona...

While the purpose of conventional proof calculi is to axiomatise the set of valid sentences of a logic, refutation systems axiomatise the invalid sentences. Such systems are relevant not only for proof-theoretic reasons but also for realising deductive systems for nonmonotonic logics. We introduce Gentzen-type refutation systems for two basic three-valued logics and we discuss an application of...

data envelopment analysis (dea) has been widely studied in the literature since its inception with charnes, cooper and rhodes work in 1978. the methodology behind the classical dea method is to determine how much improvements in the outputs (inputs) dimensions is necessary in order to render them efficient. one of the underlying assumptions of this methodology is that the units consume and prod...

We show that the category of convergence approach spaces is a simultaneously reective and coreective subcategory of the category of latticevalued limit spaces. Further we study the preservation of diagonal conditions, which characterize approach spaces. It is shown that the category of preapproach spaces is a simultaneously reective and coreective subcategory of the category of lattice-valued p...

in this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. we study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. for strongly z-ideals, we analyze prime ideals using the concept of zero sets. moreover, it is proven that the intersection of all zero sets of a prime ideal of c(l),...

‎The aim of this paper is to establish and prove some results on common fixed point‎ for a pair of multi-valued mappings in complex valued $b$-metric spaces‎. ‎Our‎ ‎results generalize and extend a few results in the literature‎.