نتایج جستجو برای: ordered set

تعداد نتایج: 701931  

Journal: :iranian journal of fuzzy systems 2012
sunny joseph kalayathankal g. suresh singh

an efficient flood alarm system may significantly improve public safety and mitigate damages caused by inundation. flood forecasting is undoubtedly a challenging field of operational hydrology and a huge literature has been developed over the years. in this paper, we first define ordered ideal intuitionistic fuzzy sets and establish some results on them. then, we define similarity measures betw...

Journal: :international journal of nonlinear analysis and applications 2015
zoran kadelburg stojan radenovic

in this paper, some recent results established by marin borcut [m. borcut, tripled fixed point theorems for monotone mappings in partially ordered metric spaces, carpathian j. math. 28, 2 (2012), 207--214] and [m. borcut, tripled coincidence theorems for monotone mappings in partially ordered metric spaces, creat. math. inform. 21, 2 (2012), 135--142] are generalized and improved, with much sho...

Journal: :categories and general algebraic structures with applications 2015
halimeh moghbeli damaneh

‎ in the present article‎, ‎we study some categorical properties of the category {$bf‎ cpo_{sep}$-$s$} of all {separately strict $s$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $s$ which is‎ strict continuous in each component‎. ‎in particular‎, we show that this category is reflective and coreflective in the‎ category of $s$-cpo's‎, ‎find the free a...

Journal: :bulletin of the iranian mathematical society 2015
m. mahmoudi h. moghbeli-damaneh

in this paper, some categorical properties of the category ${bf cpo}_{{bf act}text{-}s}$ of all {cpo $s$-acts}, cpo's equipped with actions of a monoid $s$ on them, and strict continuous action-preserving maps between them is considered. in particular, we describe products and coproducts in this category, and consider monomorphisms and epimorphisms. also, we show that the forgetful functor from...

Journal: :iranian journal of fuzzy systems 2011
abdelaziz amroune bijan davvaz

the starting point of this paper is given by priestley’s papers, where a theory of representation of distributive lattices is presented. the purpose of this paper is to develop a representation theory of fuzzy distributive lattices in the finite case. in this way, some results of priestley’s papers are extended. in the main theorem, we show that the category of finite fuzzy priestley space...

Journal: :bulletin of the iranian mathematical society 2012
hemant kumar nashine ishak altun

a common fixed point result for weakly increasing mappings satisfying generalized contractive type of zhang in ordered metric spaces are derived.

In this paper, we have focused to study convex $L$-subgroups of an $L$-ordered group. First, we introduce the concept of a convex $L$-subgroup and a convex $L$-lattice subgroup of an $L$-ordered group and give some examples. Then we find some properties and use them to construct convex $L$-subgroup generated by a subset $S$ of an $L$-ordered group $G$ . Also, we generalize a well known result a...

Journal: :Journal of Combinatorial Theory, Series A 1991

Considering a commutative unital quantale L as the truth value table and using the tool of L-generalized convergence structures of stratified L-filters, this paper introduces a kind of fuzzy upper topology, called fuzzy S-upper topology, on L-preordered sets. It is shown that every fuzzy join-preserving L-subset is open in this topology. When L is a complete Heyting algebra, for every completel...

2009
Michael Williams

Problems from Review of Set Theory Notes 3 (c) We prove that A× (B −C) = (A×B)− (A×C). We show that A× (B −C) ⊂ (A×B)−(A×C), and (A×B)−(A×C) ⊂ A×(B−C). For the first containment, let x ∈ A× (B − C). Then x = (a, b) where a ∈ A and b ∈ B − C. We certainly have x ∈ A × B, and since the second coordinate of x is not in C, we conclude that x / ∈ A× C. For the second containment, let x ∈ (A× B)− (A×...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید