论文标题
部分残留的含义来自部分三角形规范和部分残留的晶格
Partial Residuated Implications Derived from Partial Triangular Norms and Partial Residuated Lattices
论文作者
论文摘要
在本文中,我们揭示了模糊逻辑与量子逻辑之间的一些关系,并主要研究源自部分三角形规范(部分T-norms)和部分残留的晶格(PRL)的部分残留含义(PRI),并在文章中扩大了一些结果。首先,根据Borzooi给出的部分三角形规范的概念,我们介绍了晶格效应代数与部分T-norms之间的联系,并证明在任何交换式Quasiresided Lattice中的部分操作是部分T-Norms。其次,我们给出了部分残留含义的一般形式和部分模糊含义的概念(PFI),并给出了部分残留含义的条件是一个模糊的含义。我们还证明,每个部分残留的含义都是部分模糊的含义。第三,我们提出了部分残留的晶格并研究其基本特性,以讨论PRL和晶格效应代数(LEAS)之间的相应关系,以进一步揭示Leas与残留的部分代数之间的关系。另外,与部分T-norms的定义一样,我们还提出了部分三角形构型(部分T-conorms)和相应的部分共弥补的晶格(PCRLS)的概念。最后,基于部分残留的晶格,我们给出了部分残留的晶格(WPRL)的定义,研究良好的部分残留晶格的过滤器,然后构造部分残留晶格的商结构。
In this paper, we reveal some relations between fuzzy logic and quantum logic, and mainly study the partial residuated implications (PRIs) derived from partial triangular norms (partial t-norms) and partial residuated lattices (PRLs), and expand some results in the article "material implication in lattice effect algebra". Firstly, according to the concept of partial triangular norms given by Borzooei, we introduce the connection between lattice effect algebra and partial t-norms, and prove that partial operations in any commutative quasiresiduated lattice are partial t-norms. Secondly, we give the general form of partial residuated implications and the concept of partial fuzzy implications (PFIs), and the condition that partial residuated implication is a fuzzy implication is given. We also prove that each partial residuated implication is a partial fuzzy implication. Thirdly, we propose the partial residuated lattice and study their basic properties, to discuss the corresponding relationship between PRLs and lattice effect algebras (LEAs), to further reveal the relationship between LEAs and residuated partial algebras. In addition, like the definition of partial t-norms, we also propose the concepts of partial triangular conorms (partial t-conorms) and corresponding partial co-residuated lattices (PcRLs). Finally, based on partial residuated lattices, we give the definition of well partial residuated lattices (wPRLs), study the filter of well partial residuated lattices, and then construct quotient structure of partial residuated lattices.