in this paper, we study the existence of generalized solutions for the infinite dimensional nonlinear stochastic differential inclusions $dx(t) in f(t,x(t))dt +g(t,x(t))dw_t$ in which the multifunction $f$ is semimonotone and hemicontinuous and the operator-valued multifunction $g$ satisfies a lipschitz condition. we define the it^{o} stochastic integral of operator set-valued stochastic pr...

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...

‎Recently‎, ‎Hussain et al.‎, ‎discussed the concept of $wt$-distance on a‎ ‎metric type space‎. ‎In this paper‎, ‎we prove some fixed‎ ‎point theorems for classes of contractive type multi-valued operators‎, ‎by using $wt$-distances in the setting of a complete metric type space‎. ‎These results generalize a result of Feng and Liu on multi-valued operators.

In this study, the synthesis, characterization and controlled release behavior of new Hollow Silica Nano particles (HSNPs) and Magnetic Silica Nano Particles (MSNPs) were studied. Magnetic Silica Nano particles (MSNPs), as drug delivery vehicles, were synthesized through the coating of Fe3O4 nano-crystals with silica layers. The HSNPs were obtained by removal of Fe3O4 templates with hydrochlori...

this paper deals with application of polyaniline coated on wood sawdust for removal ofmethylene blue (mb) dye from aqueous solutions. polyaniline coated onto sawdust (termedas pan/sd) was prepared via direct chemical polymerization onto sawdust which waspreviously soaked in the monomer (aniline) solution in acidic (hc1) media. adsorptionexperiments were carried out using batch system. the effec...

Plenty of researches have been carried out, focusing on the measures of distance, similarity, and correlation between intuitionistic fuzzy sets (IFSs).However, most of them are single-valued measures and lack of potential for efficiency validation.In this paper, a new vector valued similarity measure for IFSs is proposed based on OWA operators.The vector is defined as a two-tuple consisting of ...

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{...