Fuzzy Systems and its Applications

Fuzzy Systems and its Applications

Some derivations on EQ-algebras

Document Type : Original Article

Authors
1 Dept, of Math. Kerman Branch, Islamic Azad university, Kerman, Iran.
2 Dept. of Math. Kerman branch, Islamic Azad university, Kerman, Iran
Abstract
In this paper, first the notion of (⊗,ο€ͺ)−π‘‘π‘’π‘Ÿπ‘–π‘£π‘Žπ‘‘π‘–π‘œπ‘›π‘  on 𝐸𝑄−π‘Žπ‘™π‘”π‘’π‘π‘Ÿπ‘Žπ‘  where ο€ͺ∈{~,→} is introduced and then they are characterized, in this way, the function 𝑑:𝐸→𝐸 on 𝐸𝑄−π‘Žπ‘™π‘”π‘’π‘π‘Ÿπ‘Ž 𝐸 with the bottom element 0 is a (⊗,~)((⊗,→))−π‘‘π‘’π‘Ÿπ‘–π‘£π‘Žπ‘‘π‘–π‘œπ‘› if and only if 𝑑(π‘₯)=1 ,π‘₯~𝑦=1, for all π‘₯,𝑦∈𝐸. Thus 𝑑 is an isotone, homomorphism, and closure derivation. Furthermore, (⊗,∧)−π‘‘π‘’π‘Ÿπ‘–π‘£π‘Žπ‘‘π‘–π‘œπ‘›π‘  on 𝐸𝑄−π‘Žπ‘™π‘”π‘’π‘π‘Ÿπ‘Žπ‘  are investigated and some related results are discussed. Indeed it is shown that if 𝑑:𝐸→𝐸 be a (⊗,∧)−π‘‘π‘’π‘Ÿπ‘–π‘£π‘Žπ‘‘π‘–π‘œπ‘› on an 𝐸𝑄−π‘Žπ‘™π‘”π‘’π‘π‘Ÿπ‘Ž 𝐸 such that for all π‘₯∈𝐸, 𝑑(1)⨂π‘₯≤𝑑(π‘₯), so 𝑑 is an isotone derivation. Then by studying on (⊗,∨)−π‘‘π‘’π‘Ÿπ‘–π‘£π‘Žπ‘‘π‘–π‘œπ‘›π‘  on π‘™π‘Žπ‘‘π‘‘π‘–π‘π‘’−π‘œπ‘Ÿπ‘‘π‘’π‘Ÿπ‘’π‘‘ 𝐸𝑄−π‘Žπ‘™π‘”π‘’π‘π‘Ÿπ‘Žπ‘ , semi-dual closure derivation is introduced and it is proved that for π‘Ž∈𝐸, π‘‘π‘Ž(π‘₯)=π‘₯β¨‚π‘Ž, for all π‘₯∈𝐸, is a semi-dual closure (⊗,∨)−π‘‘π‘’π‘Ÿπ‘–π‘£π‘Žπ‘‘π‘–π‘œπ‘› on 𝐸. Finally, by proving a property of 𝐸𝑄−π‘Žπ‘™π‘”π‘’π‘π‘Ÿπ‘Žπ‘ , some conditions are found under which the set of fixed points in (⊗,∨)−π‘‘π‘’π‘Ÿπ‘–π‘£π‘Žπ‘‘π‘–π‘œπ‘›π‘  on π‘™π‘Žπ‘‘π‘‘π‘–π‘π‘’−π‘œπ‘Ÿπ‘‘π‘’π‘Ÿπ‘’π‘‘ 𝐸𝑄−π‘Žπ‘™π‘”π‘’π‘π‘Ÿπ‘Žπ‘ , also is a π‘™π‘Žπ‘‘π‘‘π‘–π‘π‘’−π‘œπ‘Ÿπ‘‘π‘’π‘Ÿπ‘’π‘‘ 𝐸𝑄−π‘Žπ‘™π‘”π‘’π‘π‘Ÿa.
Keywords
Subjects

[1] T. Blyth (2005) Lattices and ordered algebraic structures. Springer, London.
 
[2] Y. Ceven, M. A. Ozturk (2008) On F-derivations of lattices. Bull. Korean Math. Soc 45(4):701-707.
 
[3] C.C. Chang (1958) Algebraic analysis of many valued logics. Trans Am Math Soc 88:467-490.
 
[4] M. El-Zekey (2010) Representable good EQ- Algebras. Soft Computing 14:1011-1023.
 
[5] M. El-Zekey, V. Novak and R. Mesiar (2011) On good EQ-algebras. Fuzzy Sets and Systems 178:1-23.
 
[6] F. Esteva, L. Godo (2001) Monoidal t-norm based logic: towards a logic for left – continuous t-norms. Fuzzy Sets and Systems 124:271-288.
 
[7] L. Ferrari (2001) On derivations of lattices. Pure Math. Appl 12:365-382.
 
[8] J. A. Goguen (1968-69) The logic of inexact concepts. Synthese 19:325-373.
 
[9] Sh. Ghorbani, L. Torkzadeh, S. Motamed (2013) (βŠ™, ⊕)-Derivations and (βŠ–, βŠ™)-Derivations on MV-algebras. Iranian Journal of Mathematical sciences and informatics 8:75-90.
 
[10] P. Hajek (1998) Metamathematics of fuzzy logic, Kluwer, Dordrecht.
 
[11] P.He, X. Xin, J. Zhan (2016) On derivations and their fixed point sets in residuated lattices. Fuzzy Sets and Systems 303:97-113.
 
[12] Y. B. Jun, X. L. Xin (2004) On derivations of BCI-algebra. Inform. Sci 159:167-176.
 
[13] J. Liang, X. L. Xin and J. T. Wang (2018) On derivations of EQ-algebras. Journal of Intelligent, Fuzzy Systems 35:5573–5583.
 
[14] V. Novak (2006) EQ-algebras: primary concepts and properties, in: proc. Czech-Japan Seminar, Ninth Meeting. Kitakyushu and Nagasaki, Graduate school of information, Waseda university:18-22.
 
[15] V. Novak (2011) EQ-algebra-based fuzzy type theory and its extensions. Logic journal of the IGPL 19:512-542.
 
[16] V. Navak (2005) On fuzzy type theory. Fuzzy Sets and Systems 149:235-273.
 
[17] V. Novak, B. De Baets (2009) EQ-algebra. Fuzzy Sets and Systems 160:2956-2978.
 
[18] E. Posner (1957) Derivations in prime rings. Proc. Amer. Math. Soc. 8:1093-1100.
 
[19] G. Szaasz (1975) Derivations of lattices. Acta sci. Math. (Szeged) 37:149-154.
 
[20] E. Turunen (1999) Mathematics Behind Fuzzy Logic. Physica-Verlag. Heidelberg.
 
[21] X. L. Xin, P. F. He, Y. W. Yang (2014) Characterizations of some Fuzzy Prefilters(Filters) in EQalgebras. The Scientific World. Journal. doi.org/10.1155/2014/829527.
 
[22] X. L. Xin, T. Y. Li, J. H. Lu (2008) On derivations of lattices. Inform. Sci 178:307-316.
 
[23] L. A. Zadeh (2008) Is there a need for fuzzy logic? Inform Science 178:2751-2779.
Volume 6, Issue 1 - Serial Number 12
Open Access Statement
June 2023
Pages 83-108

  • Receive Date 15 June 2022
  • Revise Date 18 August 2022
  • Accept Date 26 April 2023