搜索筛选:
搜索耗时2.5881秒,为你在为你在102,285,761篇论文里面共找到 3 篇相符的论文内容
类      型:
[学位论文] 作者:牛超慧,, 来源:陕西师范大学 年份:2004
1958年,C.C.Chang教授通过引入MV代数证明了Lukasiewicz命题逻辑系统的完备性,因此对逻辑代数结构的研究受到了逻辑学者的广泛关注.目前,逻辑代数作为相应命题逻辑系统的赋值...
[期刊论文] 作者:牛超慧,吴洪博, 来源:计算机工程与科学 年份:2015
吴望名教授建立的FI-代数(模糊蕴涵代数)是重要的基础逻辑代数,且通过弱化WBR0-代数建立的FBR0-代数与FI-代数有相同的代数结构.对FBR0-代数进行了较细致的研究.首先,证明了正...
[期刊论文] 作者:牛超慧,吴洪博, 来源:江西师范大学学报:自然科学版 年份:2013
通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代......
相关搜索: