共查询到20条相似文献,搜索用时 15 毫秒
1.
彭久麒 《四川师范大学学报(自然科学版)》1992,(1)
本文研究了拟可换BCK-代数和BCI-代数的标准型问题,得到一组充要条件,规范和简化了拟可换BCK-代数和BCI-代数的定义,给出了显示拟可换BCK-代数和BCI-代数结构差别的拟可换特征. 相似文献
2.
我们知道,BCK-代数有并代数的概念(见[1]),但一族BCK-代数的并代数的概念不可推广到BCI-代数(见[1]).1984年李欣曾定义了一个BCK-代数和一个BCI-代数的(LX)并代数。自然我们应当考虑一般性的问题:可否(用一种统一的方法)对任意两个BCI-代数定义其并代数?我们先作下列定义: 相似文献
3.
基于条件概率的思想,在Goedel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。 相似文献
4.
主要利用BCK-代数的定义和BCK-代数的性质,把二类七阶链状BCK-代数作为子代数进行了扩张。满足运算表一的七阶链状BCK-代数扩张成的八阶链状BCK-代数共四个,满足第二类运算表的七阶链状BCK-代数扩张成八阶链状BCK-代数共有三个。 相似文献
5.
引入交换Hilbert代数与BCK-代数的概念,给出了它的一个等价公理系.同时,研究了Hilbert代数与BCK-代数,MV代数的关系. 相似文献
6.
陈利国 《徐州师范大学学报(自然科学版)》1985,(1)
A.Grzaslewicz为了确定BCK-代数嵌入定向可换BCK-代数的必要条件,于1980年提出了Γ-BCK代数的概念,并证明了正关联BCX-代数,定向可换BCK-代数是Γ-BCK代数(见〔1〕).我们为了寻求比正关联BCK-代数,定向可换BCK-代数更为广泛的Γ-BCK代数,在〔2〕中建立了L-BCK代数与L'-DCK代数的概念,证明了这两种BCK-代数都是Γ-BCK代数,而正关联BCK-代数,定向可换BCK-代数都是L-BCK代数的特例. 相似文献
7.
杨闻起 《南京师大学报(自然科学版)》2018,(1)
引入对合BCK-代数的伴随序半群和可剩余序半群的伴随BCK-代数的概念,给出了它们之间的关系和性质,由此表明了BCK-代数与序半群相互间的联系. 相似文献
8.
基于条件概率的思想,在Gödel连续值命题逻辑系统中引入赋值密度函数概念,给出了公式的概率真度、条件概率真度的定义,定义了公式间的相似度和伪距离并给出了相关的性质。 相似文献
9.
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论. 相似文献
10.
11.
12.
彭家寅 《淮阴师范学院学报(自然科学版)》2011,10(4):296-303
系统研究了作为Zadeh模糊理论重要扩展的Atanassov直觉模糊BCK-代数.首先,引入直觉模糊BCK-代数和它的水平代数的概念,讨论了它们相关性质.其次,研究了直觉模糊BCK-代数的同态与同构像和逆像的性质,获得了直觉模糊BCK-代数的同态像和逆像仍为直觉模糊BCK-代数.最后,给出了直觉模糊集上的直觉模糊关系、... 相似文献
13.
关于对合BCK-代数和可交换BCK-代数的一点注记 总被引:1,自引:0,他引:1
在本文中主要给出了对合BCK-代数的一些性质,讨论了有界可交换的BCK-代数和对合BCK-代数之间的关系,最后给出了一个对合的BCK-格就是一个可分配的BCK-格的重要结论,这将对BCK-代数的进一步研究有很大帮助。 相似文献
14.
15.
陈宏基 《华东师范大学学报(自然科学版)》1994,(1):17-22
本文给出赋值Near-环、S-系统赋值和F-值位的定义并进行了研究,得出S-系统等价的值位类与赋值Near-环之间的对应关系。 相似文献
16.
《汕头大学学报(自然科学版)》2016,(1):35-40
依据双重伪补Ockham代数的核理想和余核滤子判别定理以及具有核理想和余核滤子同余关系表达式,研究了双重伪补Ockham代数的核理想和余核滤子同余关系的同余置换性,证明了双重伪补Ockham代数核理想同余关系和余核滤子同余关系是同构的. 相似文献
17.
讨论了在ZY3代数中如何由集生成理想及其有限生成理想的特征。并指出ZY3代数中理想的定义与BCI-代数和BCK-代数中理想的定义相同。 相似文献
18.
《汕头大学学报(自然科学版)》2017,(3):22-28
依据伪补MS代数的核理想及余核滤子判别定理以及核理想和余核滤子所生成的同余关系表达式,研究了伪补MS代数的核理想和余核滤子同余关系的同余置换性,证明了伪补MS代数核理想格和余核滤子格是同构的. 相似文献
19.
20.
林源洪 《漳州师范学院学报》2004,17(3):18-20
本文引入离散型BCK-代数概念,并探讨它与原子生成的BCK--4代数、正关联BCK-代数、交换BCK-代数之间的关系及其自身的一些代数性质. 相似文献