Fuzzy congruence relation generated by a fuzzy relation in vector spaces

2018 ◽  
Vol 35 (5) ◽  
pp. 5635-5645
Author(s):  
S. Khosravi Shoar ◽  
R.A. Borzooei ◽  
R. Moradian
Author(s):  
Rasul Rasuli

In this paper, by using t-conorms, we define the concept of anti fuzzy equivalence relation and anti fuzzy congruence relation on ring R and we investigate some of their basic properties. Also we define fuzzy ideals of ring R under t-conorms and compare this with fuzzy equivalence relation and fuzzy congruence relation on ring R such that we define new introduced ring. Next we investigate this concept under homomorphism of new introduced ring.


2021 ◽  
Vol 27 (3) ◽  
pp. 51-68
Author(s):  
Rasul Rasuli ◽  

In this paper, by using norms, we define the concept of intuitionistic fuzzy equivalence relations and intuitionistic fuzzy congruence relations on ring R and we investigate some assertions. Also we define intuitionistic fuzzy ideals of ring R under norms and compare this with fuzzy equivalence relation and fuzzy congruence relation on ring R such that we define new introduced ring.


2021 ◽  
Vol 2089 (1) ◽  
pp. 012067
Author(s):  
T. Sangeetha ◽  
S. Senthamil Selvi

Abstract This paper defines the fuzzy congruence relation of GADFL (Generalized nearly distributive fuzzy lattices). The ideas of θ - ideal and θ - Prime ideal are introduced in GADFL, and the fuzzy congruence relation is used to explain these ideals. AMS subject classification: 06D72, 06F15, 08A72.


2020 ◽  
Vol 14 (1) ◽  
pp. 33
Author(s):  
Ahmad Madani ◽  
Saman Abdurrahman ◽  
Na'imah Hijriati

Fuzzy subsets on the non-empty set is a mapping of this set to the interval . The concept of fuzzy subgroups introduced from advanced concept of fuzzy set in group theory. In concept of fuzzy set there is the concept of relations is fuzzy relations. In this study examined that fuzzy relations related to the equivalence and congruence on a fuzzy group and fuzzy factor group. The results of this study was to show that a fuzzy relation    if  and    if  is a fuzzy congruence relations on fuzzy group and a fuzzy relation  defined of is a fuzzy congruence relations on fuzzy factor group.  


2011 ◽  
Vol 131 (9) ◽  
pp. 1633-1641
Author(s):  
Toshifumi Honda ◽  
Kenji Obara ◽  
Minoru Harada ◽  
Hajime Igarashi

Author(s):  
Ehud Hrushovski ◽  
François Loeser

This chapter introduces the concept of stable completion and provides a concrete representation of unit vector Mathematical Double-Struck Capital A superscript n in terms of spaces of semi-lattices, with particular emphasis on the frontier between the definable and the topological categories. It begins by constructing a topological embedding of unit vector Mathematical Double-Struck Capital A superscript n into the inverse limit of a system of spaces of semi-lattices L(Hsubscript d) endowed with the linear topology, where Hsubscript d are finite-dimensional vector spaces. The description is extended to the projective setting. The linear topology is then related to the one induced by the finite level morphism L(Hsubscript d). The chapter also considers the condition that if a definable set in L(Hsubscript d) is an intersection of relatively compact sets, then it is itself relatively compact.


Author(s):  
Yaniv Aspis ◽  
Krysia Broda ◽  
Alessandra Russo ◽  
Jorge Lobo

We introduce a novel approach for the computation of stable and supported models of normal logic programs in continuous vector spaces by a gradient-based search method. Specifically, the application of the immediate consequence operator of a program reduct can be computed in a vector space. To do this, Herbrand interpretations of a propositional program are embedded as 0-1 vectors in $\mathbb{R}^N$ and program reducts are represented as matrices in $\mathbb{R}^{N \times N}$. Using these representations we prove that the underlying semantics of a normal logic program is captured through matrix multiplication and a differentiable operation. As supported and stable models of a normal logic program can now be seen as fixed points in a continuous space, non-monotonic deduction can be performed using an optimisation process such as Newton's method. We report the results of several experiments using synthetically generated programs that demonstrate the feasibility of the approach and highlight how different parameter values can affect the behaviour of the system.


Sign in / Sign up

Export Citation Format

Share Document