| Relations Between BZMV~(dM)-Algebra and Other Algebras |
| |
| 作者姓名： | 高淑萍 邓方安 刘三阳 |
| |
| 作者单位： | Department of Applied Mathematics，Xidian University，Department of Applied Mathematics and Computer Science，Shaanxi Science and Engineering College，Department of Applied Mathematics and Computer Science，Shaanxi Science and Engineering College Xi'an 710071，China，Hanzhong 723001，China，Hanzhong 723001，China |
| |
| 摘 要： | IntroductionAnalgebraicstructureisanimportanttopicofMV (multivalued) logic .MV algebra ,FIalgebra,lattice implicationalgebra ,implicationlatticeandR0 algebraareimportantnovelalgebraicstructures .ChangpresentedinRef.1 ]anMV algebratoprovethecompletenesso…
|
Relations Between BZMVdM-Algebra and Other Algebras |
| |
| Gao Shuping Deng Fang'an Liu Sanyang.Relations Between BZMV~(dM)-Algebra and Other Algebras[J].Journal of Southwest Jiaotong University,2003,11(2). |
| |
| Authors: | Gao Shuping Deng Fang'an Liu Sanyang |
| |
| Abstract: | Some properties of BZMV dM -algebra are proved, and a new operator is introduced. It is shown that the substructure of BZMV dM -algebra can produce a quasi-lattice implication algebra. The relations between BZMV dM -algebra and other algebras are discussed in detail. A pseudo-distance function is defined in linear BZMV dM -algebra, and its properties are derived. |
| |
| Keywords: | BZMVdM-algebra Kleene orthocomplementation Brouwerion orthocomple-mentation operator pseudo-distance function |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
