共查询到19条相似文献,搜索用时 109 毫秒
1.
引入诱导代数与广义Kleene-Dienes三值系统等概念,研究一类代数及其诱导代数的性质,得到若干有用结果。 相似文献
2.
讨论了MP^M中介代数的一些性质,从而推导出一个引理,并且完善了《中介命题演算系统MP^M的代数系统》一文中2个定理的证明,并给出具体实例加以说明。 相似文献
3.
讨论了MPM中介代数的一些性质,从而推导出一个引理,并且完善了<中介命题演算系统MPM的代数系统>一文中2个定理的证明,并给出具体实例加以说明. 相似文献
4.
张玉琦 《内蒙古师范大学学报(自然科学版)》2005,34(1):19-22
得到了如下结果:①完备集环L是Stone代数当且仅当L的每个完备素滤子仅包含在L的一个极大滤子中;②完备集环L是Stone代数当且仅当L是直积不可约Stone代数的直积;③完备集环L是Lukasiewicz三值代数当且仅当L同构到一个幂集格. 相似文献
5.
软代数的Stoe定理 总被引:3,自引:0,他引:3
郑延履 《武汉大学学报(自然科学版)》1994,(3):29-33
对于每一个正规软代数F,对应有一个准Boole环F。反之,每一个准Boole环R,对应有一个正规软代数R,且有F=F,R=R。 相似文献
6.
萧昌建 《成都大学学报(自然科学版)》1993,12(1):48-53
在文献[1]的基础上,本文构造出便于逐次运算的Lu3规范门,以更简洁的直接对应的方式设计Lu3的逻辑电路。并进一步确定出Lu3的最小完备运算集,使Lu3的逻辑电路仅用两种规范门即可实现。 相似文献
7.
γ-矩阵是物理上有重要应用的矩阵,且γ-矩阵与3-李代数之间有着紧密的关系.证明γ-矩阵按照通常的换位运算不构成李代数,但γ-矩阵可构成复数域上的单的3-李代数.研究γ-矩阵构成的3-李代数的结构性质、度量结构及3-Hom李代数结构. 相似文献
8.
罗从文 《三峡大学学报(自然科学版)》2003,25(2):174-175
MS—代数是从De Morgen代数和Stone代数的共同属性出发抽象而成的一种代数.本文利用MS—代数的对偶空间理论给出了同余可换的MS—代数的一个重要性质. 相似文献
9.
10.
粗糙集理论是解决分类问题的一种数学方法。在信息系统中,属性值可以是数值,也可以是集合或Fuzzy数,因此都可看成格值信息系统。在有限Boole格上,利用上、下近似定义了粗糙集模型,得到了与Pawlak粗糙集模型类似的一些性质,证明了该模型可以定义为一个完备的Stone代数,这样就把现有的粗糙集模型推广到更一般的情形。 相似文献
11.
A Kleene-Stone algebra is a bounded distributive lattice with two unary operations that make it a Kleene and a Stone algebra. In this paper, we study the properties of the prime ideals in a Kleene-Stone algebra and characterize the class of Kleene-Stone algebras that are congruence permutable by means of the dual space of a Kleene-Stone algebra and then show that a finite Kleene-Stone algebra is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras. 相似文献
12.
沈吓妹 《宝鸡文理学院学报(自然科学版)》2015,(4):16-20
目的研究弱Stone-代数同余的表示。方法构造同余三元组,并分析其性质。结果与结论一个弱Stone-代数L的任一个同余φ都可用同余三元组〈θ_1,θ_2,θ_3〉来表示,其中θ_1是布尔代数同余,θ_2,θ_3是格同余,并给出L是同余可换的充分条件。 相似文献
13.
14.
关于偏序集的伴随代数 总被引:3,自引:0,他引:3
王丰效 《宝鸡文理学院学报(自然科学版)》2001,21(2):96-108
研究了偏序集(X;≤)的伴随代数,指出了一个偏序集的所有伴随代数都是自同构的,最后给出了伴随代数的构造。 相似文献
15.
设A是一个代数闭域上的有限维遗传代数,RmA(m≥1)是A的扩张代数.主要证明:如果一个自入射代数B稳定等价于扩张代数RmA,则存在一个倾斜代数C使得B同构于扩张代数Rmc. 相似文献
16.
Some properties of automorphisms of affine Lie algebras are presented. Automorphisms with order three are classified up to
conjugacy, and their fixed point sets are also computed. As a corollary, it is proved that two automorphisms of order three
are conjugate if and only if their fixed point sets are isomorphic. 相似文献
17.
对给定的特征零域F上的任意一个交换的结合代数A及3-李代数L和3-李A-代数R,研究了 A上的从3-李-Rinehart代数(L,A,ρ)到3-李A-代数(R,A)的导子D及3-李-Rinehart代数的交叉模(R,A,β,?)的结构.利用3-李-Rinehart代数之间的代数同态对3-李-Rinehart代数到3-李... 相似文献
18.
主要研究3-李代数的实现问题.利用素域Fp的群结构及群代数结构,代数上的导子及自同构,构造了Fp上的3-李代数,并对其结构进行研究. 相似文献
19.
给出具有条件(S)的BCK-代数关于运算“”的一些性质,证明了此类BCK-代数对运算“*”和“”分别关于“∨”及“∧”是可分配的,同时若X是正关联的,则xy=x∨y. 相似文献