JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE) ›› 2018, Vol. 53 ›› Issue (6): 86-94.doi: 10.6040/j.issn.1671-9352.0.2018.035

Previous Articles    

Representative forms of commutative BR0-algebras on a set by implication operator

  

  1. Department of Mathematics and Statistics, Chifeng University, Chifeng 024001, Inner Mongolia, China
  • Received:2018-01-20 Online:2018-06-20 Published:2018-06-13

PDF (PC)

542

Abstract: By the further study of the definition and properties of commutative BR0-algebras, some equivalent forms of commutative BR0-algebras are obtained on a set by using implication operator. This work not only further simplifies the definition of commutative BR0-algebras, but also conforms commutative BR0-algebras to the features of logical algebras in definition. It provides a basis for studying the relations between commutative BR0-algebras and other logical algebras.

Key words: logical algebra, fuzzy logic, set, commutative BR0-algebra, implication operator

CLC Number: 

  • O141.1
[1] CHANG C C. Algebraic analysis of many-valued logics[J]. Transactions of the American Mathematical Society, 1958, 88(2): 467-490.
[2] HÁJEK P. Metamathematics of fuzzy logic[M]. Dordrecht: Kluwer Academic Publishers, 1998.
[3] ESTEVA F, GODO L. Monoidal t-norm based logic: towards a logic for left-continuous t-norms[J]. Fuzzy Sets and Systems, 2001, 124: 271-288.
[4] 王国俊. 模糊命题演算的一种形式演绎系统[J]. 科学通报, 1997, 42(10): 1041-1045. WANG Guojun. A formal deductive system for fuzzy propositional calculus[J]. Chinese Science Bulletin, 1997, 42(10): 1041-1045.
[5] 裴道武, 王国俊. 形式系统L*的完备性及其应用[J]. 中国科学(E辑技术科学), 2002, 32(1): 56-64. PEI Daowu, WANG Guojun. The completeness and applications of the formal system L*[J]. Science in China(Series E Technological Sciences), 2002, 32(1): 56-64.
[6] 王国俊. MV-代数、BL-代数、R0-代数与多值逻辑[J]. 模糊系统与数学, 2002, 16(2): 1-15. WANG Guojun. MV-algebras, BL-algebras, R0-algebras and multiple-valued logic[J]. Fuzzy Systems and Mathematics, 2002, 16(2): 1-15.
[7] 裴道武. 关于形式系统L*的强完备性[J]. 工程数学学报, 2005, 22(1): 128-132. PEI Daowu. On the strong completeness of the formal system L*[J]. Chinese Journal of Engineering Mathematics, 2005, 22(1): 128-132.
[8] 吴洪博. R0-代数的格蕴涵表示定理[J]. 模糊系统与数学, 2007, 21(3): 16-23. WU Hongbo. The representative theorem of R0-algebra by lattice-implication operator[J]. Fuzzy Systems and Mathematics, 2007, 21(3): 16-23.
[9] WANG Guojun, ZHOU Hongjun. Introduction to mathematical logic and resolution principle[M]. 2nd ed. Beijing: Science Press, 2009.
[10] 吴洪博. 基础R0-代数与基础L*系统[J]. 数学进展, 2003, 32(5): 565-576. WU Hongbo. Basis R0-algebras and basis L* system[J]. Advances in Mathematics, 2003, 32(5): 565-576.
[11] 吴洪博. 基础R0-代数的性质及在L*系统中的应用[J]. 数学研究与评论, 2003, 23(3): 557-563. WU Hongbo. The properties of BR0-algebras and its applications in L* system[J]. Journal of Mathematical Research with Applications, 2003, 23(3): 557-563.
[12] 吴洪博, 乔希民. BR0代数定义的简化形式[J]. 四川大学学报(自然科学版), 2008, 45(6): 1281-1284. WU Hongbo, QIAO Ximin. The improved forms of definition of BR0-algebra[J]. Journal of Sichuan University(Natural Science Edition), 2008, 45(6): 1281-1284.
[13] 吴洪博, 王召海. BR0代数的无序表示形式及WBR0代数的[J]. 工程数学学报, 2009, 26(3): 456-460. WU Hongbo, WANG Zhaohai. The non-ordered form of BR0-algebras and properties of WBR0-algebra[J]. Chinese Journal of Engineering Mathematics, 2009, 26(3): 456-460.
[14] 周建仁, 吴洪博. WBR0代数的正则性及其与其它逻辑代数的关系[J]. 山东大学学报(理学版), 2012, 47(2): 86-92. ZHOU Jianren, WU Hongbo. The regularness of WBR0-algebras and relationship with order logic algebras[J]. Journal of Shandong University(Natural Science), 2012, 47(2): 86-92.
[15] 乔希民, 吴洪博. 格上BR0代数结构的表示定理[J]. 山东大学学报(理学版), 2010, 45(9): 38-42. QIAO Ximin, WU Hongbo. Representative theorem of the lattice BR0-algebric structure[J]. Journal of Shandong University(Natural Science), 2010, 45(9): 38-42.
[16] 吴苏鹏, 王国俊. 可交换弱R0代数[J]. 云南师范大学学报(自然科学版), 2007, 27(1): 1-4. WU Supeng, WANG Guojun. Commutative weak R0-algebras[J]. Journal of Yunnan Normal University(Natural Science), 2007, 27(1): 1-4.
[17] 凌雪岷, 徐罗山. 可换BR0代数的刻画和性质[J]. 扬州大学学报(自然科学版), 2012, 15(1): 1-4. LING Xuemin, XU Luoshan. Characterizations and properties of commutative BR0-algebras[J]. Journal of Yangzhou University(Natural Science), 2012, 15(1): 1-4.
[18] 刘春辉, 徐罗山. 格蕴涵代数的蕴涵表示定理[J]. 模糊系统与数学, 2010, 24(4): 26-32. LIU Chunhui, XU Luoshan. The representative theorem of lattice implication algebras by implication operator[J]. Fuzzy Systems and Mathematics, 2010, 24(4): 26-32.
[1] LI Tong-jun, HUANG Jia-wen, WU Wei-zhi. Attribute reduction of incomplete contexts based on similarity relations [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(8): 9-16.
[2] ZUO Zhi-cui, ZHANG Xian-yong, MO Zhi-wen, FENG Lin. Block discernibility matrix based on decision classification and its algorithm finding the core [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(8): 25-33.
[3] ZHANG En-sheng. Composition and structure on attribute reduction of interval-set concept lattices [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(8): 17-24.
[4] QIAO Hu-sheng, SHI Xue-qin. On homological classification of weakly torsion free Rees factor S-posets [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(8): 49-52.
[5] YU Xiao-dan, DONG Li, WU Cong, KONG Xiang-zhi. Soft incidence ring [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(4): 31-35.
[6] CAO Ya-meng, LI Jiao, LI Guo-quan. On sumsets and translates of vector subspaces over finite fields [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(4): 7-10.
[7] SONG Xing-shen, YANG Yue-xiang, JIANG Yu. Efficient multiple sets intersection using SIMD instructions [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(3): 54-62.
[8] CHEN Bao-hui, ZHANG Ling, SHI Kai-quan. Intelligent dynamic fusion of packet information and the intelligent state recognition of information law [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(2): 83-87.
[9] GONG Zeng-tai, GAO Han. Preinvexity of n-dimensional fuzzy number-valued functions [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2018, 53(10): 72-81.
[10] ZHANG Yan-yan, YAN Chao. Approximation of lagrange interpolation polynomials based on the fourth Chebyshev nodes [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2017, 52(8): 10-16.
[11] GONG Zeng-tai, KOU Xu-yang. Representation of Choquet integral of the set-valued functions with respect to fuzzy measures and the characteristic of its primitive [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2017, 52(8): 1-9.
[12] LI Li, GUAN Tao, LIN He. The hybrid parallel rough set model based on pansystems operators [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2017, 52(7): 22-29.
[13] HU Qian, MI Ju-sheng, LI Lei-jun. The fuzzy belief structure and attribute reduction based on multi-granulation fuzzy rough operators [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2017, 52(7): 30-36.
[14] WANG Xia, ZHANG Qian, LI Jun-yu, LIU Qing-feng. Triadic concept analysis based on rough set theory [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2017, 52(7): 37-43.
[15] NING Duo-biao, NIU Xian-hua, HUANG Ping, WANG Chang-yuan. New designs for frequency hopping sequences with optimal periodic partial hamming correlation over d-functions [J]. JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE), 2017, 52(5): 95-103.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
Copyright 2018 © Editorial office of JOURNAL OF SHANDONG UNIVERSITY(NATURAL SCIENCE)
Supported by Beijing Magtech Co.Ltd