元素个数不超过6的真伪BCK代数.pdfVIP

第27卷第3期 模糊系统与数学 V01．27。No．3 andMathematics Jun．，2013 2013年6月 FuzzySystems 文章编号：1001—7402(2013)03—0105-il 元素个数不超过6的真伪BCK一代数+ 毛小燕1，张小红2，周晖杰1 (1．宁波大学科学技术学院，浙江宁波315212l 2．上海海事大学文理学院，上海201306) 摘要：研究元素个数不超过6的真伪BCK一代数的计数问题。首先，证明了在元素个数不超过3的偏 序集上不存在真伪BCK一代数。其次，引入NP一型偏序集(不存在真伪BCK一代数的含重大元的偏序集)、 偏序集的层、次余原子等概念，证明了在一个层数n≤3的NP一型偏序案上添加孤立余原子(或孤立次余 原子或上邻元的个数九≥3的极小次余原子)后得到的偏序集也是NP一型偏序集，由此得到26种NP一型 偏序集(元素个数行≤6)。最后，借助Matlab软件壕程计算得出所有非同构的元素个数不超过6的真伪 BCK一代数，其中元素个数为4的真伪BCK一代数2个，元素个数为5的真伪BCK一代数34个，元素个数 为6的真伪BCK一代教631个。 关■词：伪BCK一代数；真伪BCK一代数l偏序集INP一型偏序集；次余原子 中圈分类号；0151 文献标识码：A BCK一代数、BCC一代数是源自k演算、组合子、蕴涵逻辑的代数结构n叫]。作为BCK一代数的非可换推 5。。 入研究了它的特征性质以及与量子逻辑代数、模糊逻辑代数之间的密切联系[5_1 与有限群对群论的作用、有限剩余格对剩余格的作用[163类似，有限伪BCK一代数对于深入探究伪 BCK一代数的结构具有重要意义，而有限伪BCK一代数的计数问题是其中一项基础性工作。本文主要探 讨元素个数不超过6的真伪BCK一代数的计数问题，通过引入NP一型偏序集(指不存在真伪BCK一代数 的含最大元的偏序集)、次余原子、孤立次余原子等概念，仔细分析了元素个数不超过6的伪BCK一代数 的序结构特点，在此基础上借助Matlab软件计算得到所有非同构的元素个数不超过6的真伪BCK一代 数。 1 预备知识 z，Y，zEA A上的二元运算，1是A中的一个常元，且满足以下条件：V (BCC一1)才+z≤(y—，z)—，(y+z)； (BCC一2)1x=x； ·收疆日期：201l-12—22；修订日期：2012—03—18 集理论I周晖杰 海海事大学文理学院教授，博士生导师，研究方向：代数学，计算机科学中的非经典数理逻辑，模糊数学与海海—吴掣娶警季食袈尝％至奎霉谋哮荐翥嘉蓑袭盖孳晕鼙聋；辞泰鼻暂馨罐羹裴螽蔓主警蹲黯l呈乎R‘o张ug小h錾譬鬻j’，鼎熹 (1979一)，男，宁波大学科学技术学院讲师，研究方向：复杂网络与逻辑代数。 万方数据 106 模糊系统与数学 2013年 (BCC一3)z≤z； (BCC一4)芏≤y，岁≤z=》z—y； (BCC一5)z≤1； (BCC-6)z≤y筒z—y一1。 命题1．1[53在BCC一代数(以；≤，一，1)中成立：Vz，Y，zEA (1)z≤y+z； (2)z≤y=2·’z≤2·’了； (3)z≤y净广+z≤z一2． 的二元运算，1是A中的一个常元，且满足以下条件(Vz，Y，zEA)： (BCK一1)(2一z)一(y—z)≥y—z； (