This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. We consider a formal system Ev L of fuzzy logic that has evaluated syntax, i.e. axioms need not be fully convincing and so, they form a fuzzy set only. Consequently, formulas are provable in some general degree. A generalization of Gödel’s completeness theorem does hold in Ev L. The truth values form...

In this paper, the authors study the notion of n-fold implicative and fuzzy n-fold implicative filters, which correspond to various sets of provable formulaes, in BL-algebras. Several characterizations of fuzzy n-fold implicative filters are given and the authors analyse some relationships with various n-fold and fuzzy n-fold filters in BL-algebras, while constructing some algorithms for studyi...

in this work, by employing the krasnosel'skii fixed point theorem, we study the existence of positive solutions of a three-point boundary value problem for the following fourth-order differential equation begin{eqnarray*} left { begin{array}{ll} u^{(4)}(t) -f(t,u(t),u^{prime prime }(t))=0 hspace{1cm} 0 leq t leq 1, & u(0) = u(1)=0, hspace{1cm} alpha u^{prime prime }(0) - beta u^{prime prime...

Because of the pressure of globalization in the last two decades, professional services has become an important strategic decision so that supplier selection is a prime concern. In the semiconductor industry, the prior researches worked on analyzing and improving the process, and evaluating the equipment manufacturers. Consequently, this study is to identify critical factors related to the wafe...

We present Pavelka-style fuzzy logic for reasoning about attribute implications, i.e. formulas A ⇒ B known also as association rules and functional dependencies. Fuzzy attribute implications allow for two different interpretations, namely, in data tables with graded (fuzzy) attributes and in data tables over domains with similarity relations. In the first interpretation, A ⇒ B reads “each objec...

Geospatial information we gather through different sensors and from the concepts of the geographic objects, is generally vague, imprecise and uncertain. Also, the imprecision becomes obvious due to the multi-granular structure of the multi-sensor satellite images and that leads to error accumulation at every stage in geo-processing. It has been observed that the ground truth data, forming a pri...

let $n$ be a submodule of a module $m$ and a minimal primary decomposition of $n$ is known‎. ‎a formula to compute baer's lower nilradical of $n$ is given‎. ‎the relations between classical prime submodules and their nilradicals are investigated‎. ‎some situations in which semiprime submodules can be written as finite intersection of classical prime submodule are stated‎.