.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
Recently, a special algebra called EQ-algebra ( we call it here commutative EQ-algebra since its multiplication is assumed to be commutative) has been introduced by Novak ( Proceedings of the Czech-Japan seminar, ninth meeting, Kitakyushu and Nagasaki, 18-22 August, 2006), which aims at becoming the algebra of truth values for fuzzy type theory. Its implication and multiplication are no more closely tied by the adjunction and so, this algebra generalizes commutative residuated lattice. One of the outcomes is the possibility to relax the commutativity of the multiplication. This has been elaborated by El-Zekey et al. ( Fuzzy Sets Syst 2009, submitted). We continue in this paper the study of EQ-algebras (i.e., those with multiplication not necessarily commutative). We introduce prelinear EQ-algebras, in which the join-semilattice structure is not assumed. We show that every prelinear and good EQ-algebra is a lattice EQ-algebra. Moreover, the {boolean AND, boolean OR, ->, 1}-reduct of a prelinear and separated lattice EQ-algebra inherits several lattice-related properties from product of linearly ordered and separated EQ-algebras. We show that prelinearity alone does not characterize the representable class of all good ( commutative) EQ-algebras. One of the main results of this paper is to characterize the representable good EQ-algebras. This is mainly based on the fact that {->, 1} reducts of good EQ-algebras are BCK-algebras and run on lines of van Alten's (J Algebra 247: 672-691, 2002) characterization of representable integral residuated lattices. We also supply a number of potentially useful results, leading to this characterization.
Keyword:
EQ-algebra
Commutative residuated lattice
Fuzzy equality
Fuzzy logic
BCK-algebra
Prelinearity
Representable algebras
AI总结
对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。
期刊
IF:
2.5
论文数:
1.0W
被引数:
2.1W
机构
暂无机构信息
引用论文
Quality of life among human immunodeficiency virus-1 infected and human immunodeficiency virus-1/hepatitis C virus co-infected individuals in Iranian patients伊朗患者中人类免疫缺陷病毒-1感染者与人类免疫缺陷病毒-1/丙型肝炎病毒合并感染者的生活质量.png)
OAAI
OAAI.png){kind=icon}
分享.png){kind=icon}
收藏A novel G protein-coupled receptor for starfish gonadotropic hormone, relaxin-like gonad-stimulating peptide一种新型的星形虫促性腺激素星形虫松弛素样促性腺肽G蛋白偶联受体.png)
PLOS ONEOAAI
PLOS ONEIF0
OAAI分享收藏分享收藏
查看更多内容