نتایج جستجو برای: l valued relation

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

Journal: :Fundam. Inform. 2007
Patrick Doherty Andrzej Szalas

This paper focuses on approximate reasoning based on the use of similarity spaces. Similarity spaces and the approximated relations induced by them are a generalization of the rough set-based approximations of Pawlak [17, 18]. Similarity spaces are used to define neighborhoods around individuals and these in turn are used to define approximate sets and relations. In any of the approaches, one w...

2013
Mustafa Demirci

As an application of the dual equivalence between the category of L-spatialC-objects and the category of L-sober C-M-L-spaces, it is shown in this paper that for a fixed augmented partially ordered set A, there exists a dual equivalence between the category of A-spatial augmented partially ordered sets and the category of A-sober A-valued spaces. Then, with regard to this duality, for a fixed (...

Journal: :Fuzzy Sets and Systems 2010
Javier Gutiérrez García Tomasz Kubiak Alexander P. Sostak

With L a complete lattice and M a continuous lattice, this paper demonstrates an adjunction between M-valued L-topological spaces (i.e. (L,M)-topological spaces) and Idl(M)-valued L-topological spaces where Idl(M) is the complete lattice of all ideals of M. It is shown that the right adjoint functor provides a procedure of generating (L,M)-topologies from antitone families of (L,M)-topologies. ...

Journal: :CoRR 2014
Hossein Rashmanlou Madhumangal Pal

Abstract. Theoretical concepts of graphs are highly utilized by computer scientists. Especially in research areas of computer science such as data mining, image segmentation, clustering image capturing and networking. The interval-valued fuzzy graphs are more flexible and compatible than fuzzy graphs due to the fact that they allowed the degree of membership of a vertex to an edge to be represe...

2009
Enric Trillas Claudio Moraga Eloy Renedo

By interpreting ‘p is impossible’ by ‘p is selfcontradictory’, and ‘p is always’ by ‘not p is self-contradictory’, this paper studies which of the three-valued systems of Łucasiewicz, Gödel, Kleene, Bochvar, and Post, do verify the Aristotle’s principles of Non-Contradiction (NC), and Excluded-Middle (EM). Keywords— Systems of three-valued logic, Non-Contradiction, Excluded-Middle.

2007
THOMAS LAM PAVLO PYLYAVSKYY

Motivated by work of Buch on set-valued tableaux in relation to the K-theory of the Grassmannian, we study six combinatorial Hopf algebras. These Hopf algebras can be thought of as K-theoretic analogues of the by now classical “square” of Hopf algebras consisting of symmetric functions, quasisymmetric functions, noncommutative symmetric functions and the Malvenuto-Reutenauer Hopf algebra of per...

Journal: :Reports on Mathematical Logic 2012
Natalya Tomova

A b s t r a c t. The paper deals with functional properties of three-valued logics. We consider the family of regular three-valued Kleene's logics (strong, weak, intermediate) and it's extensions by adding an implicative connectives (" natural " implications). The main result of our paper is the lattice that describes the relations between implicative extensions of regular logics. In this paper...

Journal: :Fundam. Inform. 2002
Costas D. Koutras Pavlos Peppas

In the family of many-valued modal languages proposed by M. Fitting in 1992, every modal language is based on an underlying Heyting algebra which provides the space of truth values. The lattice of truth values is explicitly represented in the language by a set of special constants and this allows for forming weak, generalized, many-valued analogs of all classical modal axioms. Weak axioms of th...

2013
Lei Zhang Chong-Jun Wang Jun Wu Meilin Liu Junyuan Xie

Landmark heuristics are perhaps the most accurate current known admissible heuristics for optimal planning. A disjunctive action landmark can be seen a form of at-least-one constraint on the actions it contains. In many domains, some critical propositions have to be established for a number of times. Propositional landmarks are too weak to express this kind of constraints. In this paper, we pro...

2009
A. R. BUTT

Let (X, d, ) be a partially ordered metric space. Let F, G be two set valued mappings and f , g two single valued mappings on X . We obtained sufficient conditions for existence of common fixed point of F , G, f and g satisfying an implicit relation in X .

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

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