首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 15 毫秒
1.
文[1—2」引入了具有条件(S)的BCK—代数,本文推广了这一类BCK—代数,引入了具有条件(H)的BCK—代数,并得到一些重要结果.  相似文献   

2.
本文证明了具有条件(S)的BCK-代数的伴随半群是一个可换蕴涵半群,同时讨论了具有条件(S)的BCK-代数的理想与它的伴随半群的滤子之间的关系。  相似文献   

3.
在[1]中作者提出了BCK—代数中不动点的概念,成功地解决了有限单BCK—代数的结构问题。本文将这一概念推广到BCI—代数上,讨论了BCI(BCK)—数中不动点的性质特征,推广了[1]中的结果,得到了用不动点刻划BCI(BCK)—代数的若干结果。  相似文献   

4.
在BCK—代数中引进左映射和在BCI—代数中引进弱左映射,并探讨它们的性质。主要结果是:如果X是BCK—代数,Y是正定关联BCK—代数,则所有X到Y的左映射的集合也构成正定关联BCI—代数;如果X是BCI—代数,Y是弱正定关联BCI—代数,则所有X到Y的弱左映射的集合也构成弱正定关联BCI—代数。这推广了文(1)与(2)的结果。  相似文献   

5.
本文给出了BCK—代数X存在非零原子及存在极大元的充要条件,同时利用子代数ax及高截段H(a),给出了有限BCK—代数的乘法表的结构.  相似文献   

6.
有界交换BCK—代数中的算子N:X→X,N_x=1*x具有许多有趣的特性。特别是,在有界交换BCK—代数中,算子N具有三条重要的特性: NN_x=x, N_xVN_y=N(x∧y), N_x∧N_y=N(x∨y)、而有界交换BCK—代数,关于∧,∨又形成一格。于是,人们自然会想到,在一般的格中,研究具有上述特性的算子。本文正是基于这个目的,引入格中的逆对合算子。研究逆对合算子的某些初等性质,并由此推出BCK—代数中逆对合算子的个别特性,作为本文的结束,我们顺便提出了一个问题:对有界交换(或有界关联)BCK—代数中的逆对合算子,是否  相似文献   

7.
本文定义了BCK—代数的左正则映射和BCI—代数的弱左正则映射,并研究了他们的性质。  相似文献   

8.
著名日本数学家Y·Imai和K·Is(?)ki1966年提出了BCK—代数,1980年,K·Is(?)ki又引进了BCI—代数,作为研究这两类抽象代数的一个有用工具,陈昭木1985年引进了BCI—代数的直积与外直积。在此基础上,本文进一步引入了BCI—代数亚直扣概念,得到了亚直和的两个判别定理(定理1、定理2),亚直和对BCK—部分的影响(定理3),亚直和对于代数、理想的影响(定理4、定理5)及其相关的几个性质。  相似文献   

9.
K.Ise'ki 1980年在[2]提出:具有条件(c)的BCK—代数是否交换?1982年M.Pakasineki在[3]提出条件(c_1),同时证明了,BCK—代数X是交换的充要条件是X满足条件(c_1),并断言说:“显然,条件(c_1)弱于条件(c)”。但是他的断言是错误的。事实上,恰恰相反,条件(c_1)是强于条件(c)。也就是说,他并没有真正地解决K.Ise'ki的问题。本文将证明,在BCK—代数中条件(c_1)和条件(c)是等价的。从而协助解决了K.Ise'ki的问题。  相似文献   

10.
给出了BCK代数的一个等价公理 ,讨论了BCK代数的伴随代数  相似文献   

11.
给出了BCK代数的一个等价公理,讨论了BCK代数的伴随代数。  相似文献   

12.
本文通过对BCK一代数中原子性质的讨论给出了一类有限BCK一代数的计数公式.  相似文献   

13.
本文分为两个部分.在第一部分里,我们证明了弱 BCI—代数与加强弱 BCI—代数这两个概念的等价性,从而澄清了文〔1〕中的一个误解.在第二部分里,我们证明了 BCK—代数的 G—正则性.不是根性质,以此否定地回答了文〔2〕所提出的一个问题.  相似文献   

14.
在右对合广群中引入L—Fuzzy子广群与L—Fuzzy BCI-型理想,推广了一系列BCK(BCI)-代数中的L—Fuzzy子代数与L—Fuzzy BCI-型理想的有关性质.  相似文献   

15.
有界关联BCK-代数与Boole代数   总被引:1,自引:0,他引:1  
主要证明了有界关联BCK一代数与Boole代数是相互等价的代数系统.  相似文献   

16.
综述BCK/BCI代数在逻辑代数中的地位与意义,回顾所知国内外学者在该领域的一些主要工作,介绍了BCK/BCI代数理论中的一些概念、术语和成果,篇末罗列较丰富的参考文献,期望对年轻的学者有所帮助。  相似文献   

17.
关于逻辑运算"→"和BCK运算"*"   总被引:1,自引:0,他引:1  
K.Iseki和S.Tanaka在文[1]中提出了正蕴函BCK-代数的概论,以此研究了数理逻辑中逻辑运算“→”的若干性质,进而探讨了逻辑运算“→”与BCK-代数中运算“*”之间的关系。  相似文献   

18.
研究BCK(BCI)_代数中的L_fuzzy理想 ,其中L为至少含有两个元素的格 .研究了BCK(BCI)_代数中的L_fuzzy理想及其相应的截理想之间的关系 .对BCI_代数 ,引入了L_fuzzy闭理想、L_fuzzy正则理想 ,研究了两者之间的关系 .得到的结论是 :任一L_fuzzy正则理想一定是L_fuzzy闭理想 ,在任一p_半单BCI_代数中 ,L_fuzzy闭理想一定是L_fuzzy正则理想 .对BCK_代数 ,引入了L_fuzzy关联理想的概念 ,得到了它的一些等价特性 ,并用L_fuzzy关联理想刻划了关联BCI_代数  相似文献   

19.
本文利用算子N,引入了×的诱导子集N_a~×的概念,并在正关联BCK代数中给出了一系列的同态映射,从而相应地得到了正关联BCK代数的一个关联理想升链。  相似文献   

20.
本文指出了文①中被称之为“Zassenhaus定理”的不妥之处,同时在BCK—代数类中建立了与群论中Zassenhaus定理相应的一个结果,此外,还给出了文②或文③中一个定理的新的表达形式。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号