论文研究正则FI代数的刻画及成为Boole代数的条件.pdf
正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数。基于正则FI-代数的公理组以及诸多性质之间的内部联系,给出了正则FI-代数的两个公理组条件更少的刻画定理,简化了正则FI-代数的定义形式。在正则FI-代数中引入蕴涵分配性,探讨了蕴涵分配正则FI-代数的若干性质,证明了蕴涵分配正则FI-代数与Boole代数是相互等价的代数系统,给出了Boole代数的一种新的刻画,使其在形式上更接近于二值逻辑代数。
用户评论
推荐下载
-
进程代数的历史介绍进程代数的发展过程
进程代数的历史这本书介绍了进程代数的产生发展过程,对学习进程代数和研究安全协议的人很有用。
25 2020-09-17 -
论文研究具有模糊联盟博弈的Shapley值的刻画.pdf
论文研究-具有模糊联盟博弈的Shapley值的刻画.pdf, 将经典合作博弈中的势函数和一致性推广到具有模糊联盟的合作博弈中,对具有模糊联盟博弈的Shapley值进行了刻画.对于具有模糊联盟的合作博弈
24 2020-01-03 -
Ω形变的手性代数
在存在Ω形变的情况下,局部算子在二维N$$\mathcal{N}$$=2超对称场论的拓扑-全同形变中生成手征代数。我们表明,对于单一的N$$\mathcal{N}$$=2超保形场论,如此定义的手性代数
27 2020-05-15 -
近世代数pdf
包括书中所有习题的答案,内容很详尽
48 2020-05-13 -
线性代数.pdf
线性代数,很经典的很多学校的教科书,希望能帮助到有需要的朋友。
34 2019-05-27 -
代数数论.PDF
Algebraic Number Theory. PDF
36 2019-06-21 -
线性代数pdf
线性代数pdf共同学习
46 2019-04-30 -
论文研究伪效应代数中的模糊滤子与模糊理想.pdf
3D仿真机器人是当今人工智能领域里一个极富挑战性的高技术密集型项目。在Robocup3D比赛中,由于现今球队的人数较少,一个球队的进攻能力往往取决于前锋的个人能力,因此增强前锋的射门能力就显得十分重要
35 2020-03-13 -
论文研究N220代数的∈∈∨qλμ 模糊素理想.pdf
在[N(2,2,0)]代数中引入了素理想的概念;利用模糊集理论,提出了点态化[(∈,∈∨q(λ,μ))-]模糊素理想和广义模糊素理想的概念,讨论了两者之间的关系;得到了[(∈,∈∨q(λ,μ))-]模
18 2020-07-18 -
论文研究具有最优代数免疫阶平衡布尔函数的递归构造.pdf
针对密码学中布尔函数的代数免疫性和构造需求,通过选取适当次数的布尔函数,利用布尔函数的级联性质,提出了一种提高布尔函数代数免疫阶的递归构造法;同时证明了该构造法中所构造的布尔函数比原布尔函数的代数免疫
10 2020-07-18
暂无评论