|
|
- 2018
可换BR0-代数在一般集合上的蕴涵表示形式
|
Abstract:
摘要： 基于对可换BR0-代数的定义和性质的深入研究和分析, 放弃对格的要求, 在一般集合上以蕴涵算子为基本算子给出了可换BR0-代数的几种等价表示形式。 进一步简化了可换BR0-代数的定义形式, 使其在形式上更加突出逻辑代数的一般特征及其与其它逻辑代数间的联系和区别。 为揭示可换BR0-代数的特征及其与其它逻辑代数间的关系提供了依据。
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
| [1] | 凌雪岷, 徐罗山. 可换BR<sub>0</sub>代数的刻画和性质[J]. 扬州大学学报(自然科学版), 2012, 15(1): 1-4. LING Xuemin, XU Luoshan. Characterizations and properties of commutative BR<sub>0</sub>-algebras[J]. Journal of Yangzhou University(Natural Science), 2012, 15(1): 1-4. |
| [2] | 吴洪博. 基础R<sub>0</sub>-代数的性质及在L<sup>*</sup>系统中的应用[J]. 数学研究与评论, 2003, 23(3): 557-563. WU Hongbo. The properties of BR<sub>0</sub>-algebras and its applications in L<sup>*</sup> system[J]. Journal of Mathematical Research with Applications, 2003, 23(3): 557-563. |
| [3] | 吴苏鹏, 王国俊. 可交换弱R<sub>0</sub>代数[J]. 云南师范大学学报(自然科学版), 2007, 27(1): 1-4. WU Supeng, WANG Guojun. Commutative weak R<sub>0</sub>-algebras[J]. Journal of Yunnan Normal University(Natural Science), 2007, 27(1): 1-4. |
| [4] | 刘春辉, 徐罗山. 格蕴涵代数的蕴涵表示定理[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. |
| [5] | CHANG C C. Algebraic analysis of many-valued logics[J]. Transactions of the American Mathematical Society, 1958, 88(2): 467-490. |
| [6] | 周建仁, 吴洪博. WBR<sub>0</sub>代数的正则性及其与其它逻辑代数的关系[J]. 山东大学学报(理学版), 2012, 47(2): 86-92. ZHOU Jianren, WU Hongbo. The regularness of WBR<sub>0</sub>-algebras and relationship with order logic algebras[J]. Journal of Shandong University(Natural Science), 2012, 47(2): 86-92. |
| [7] | ESTEVA F, GODO L. Monoidal <i>t</i>-norm based logic: towards a logic for left-continuous <i>t</i>-norms[J]. Fuzzy Sets and Systems, 2001, 124: 271-288. |
| [8] | 王国俊. 模糊命题演算的一种形式演绎系统[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. |
| [9] | 裴道武, 王国俊. 形式系统L<sup>*</sup>的完备性及其应用[J]. 中国科学(E辑技术科学), 2002, 32(1): 56-64. PEI Daowu, WANG Guojun. The completeness and applications of the formal system L<sup>*</sup>[J]. Science in China(Series E Technological Sciences), 2002, 32(1): 56-64. |
| [10] | 王国俊. MV-代数、BL-代数、R<sub>0</sub>-代数与多值逻辑[J]. 模糊系统与数学, 2002, 16(2): 1-15. WANG Guojun. MV-algebras, BL-algebras, R<sub>0</sub>-algebras and multiple-valued logic[J]. Fuzzy Systems and Mathematics, 2002, 16(2): 1-15. |
| [11] | 吴洪博. R<sub>0</sub>-代数的格蕴涵表示定理[J]. 模糊系统与数学, 2007, 21(3): 16-23. WU Hongbo. The representative theorem of R<sub>0</sub>-algebra by lattice-implication operator[J]. Fuzzy Systems and Mathematics, 2007, 21(3): 16-23. |
| [12] | WANG Guojun, ZHOU Hongjun. Introduction to mathematical logic and resolution principle[M]. 2nd ed. Beijing: Science Press, 2009. |
| [13] | 吴洪博, 乔希民. BR<sub>0</sub>代数定义的简化形式[J]. 四川大学学报(自然科学版), 2008, 45(6): 1281-1284. WU Hongbo, QIAO Ximin. The improved forms of definition of BR<sub>0</sub>-algebra[J]. Journal of Sichuan University(Natural Science Edition), 2008, 45(6): 1281-1284. |
| [14] | 乔希民, 吴洪博. 格上BR<sub>0</sub>代数结构的表示定理[J]. 山东大学学报(理学版), 2010, 45(9): 38-42. QIAO Ximin, WU Hongbo. Representative theorem of the lattice BR<sub>0</sub>-algebric structure[J]. Journal of Shandong University(Natural Science), 2010, 45(9): 38-42. |
| [15] | HáJEK P. Metamathematics of fuzzy logic[M]. Dordrecht: Kluwer Academic Publishers, 1998. |
| [16] | 裴道武. 关于形式系统L<sup>*</sup>的强完备性[J]. 工程数学学报, 2005, 22(1): 128-132. PEI Daowu. On the strong completeness of the formal system L<sup>*</sup>[J]. Chinese Journal of Engineering Mathematics, 2005, 22(1): 128-132. |
| [17] | 吴洪博. 基础R<sub>0</sub>-代数与基础L<sup>*</sup>系统[J]. 数学进展, 2003, 32(5): 565-576. WU Hongbo. Basis R<sub>0</sub>-algebras and basis L<sup>*</sup> system[J]. Advances in Mathematics, 2003, 32(5): 565-576. |
| [18] | 吴洪博, 王召海. BR<sub>0</sub>代数的无序表示形式及WBR<sub>0</sub>代数的[J]. 工程数学学报, 2009, 26(3): 456-460. WU Hongbo, WANG Zhaohai. The non-ordered form of BR<sub>0</sub>-algebras and properties of WBR<sub>0</sub>-algebra[J]. Chinese Journal of Engineering Mathematics, 2009, 26(3): 456-460. |
