检索结果-维普期刊中文期刊服务平台

二元Boole代数函数式的一种化简方法: 1; 作者王志勇《邯郸职业技术学院学报》 1995年第1期42-45,共4页; 对多变量二元Boole代数（简记B<sub>2</sub>）函数式的化简,有下列方法:（1）公式法;（2）卡诺（Karnaugh）法;（3）奎恩-麦格拉斯基（Quin—Mccluskeg）法;（4）增项消项法（iterative consensus）.对不大于6变量的函数式... 展开更多; 关键词 boole代数函数式卡诺图中蕴含项素蕴含范式最小项多变量十进制数标号; 在线阅读下载PDF 职称材料

有限Boole语义的随机化被引量：3: 2; 作者左卫兵叶晓枫《兰州理工大学学报》 CAS 北大核心 2012年第1期143-148,共6页; 基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.; 关键词有限boole代数 B-赋值 B-随机真度 B-随机相似度逻辑度量空间; 在线阅读下载PDF 职称材料

Heyting代数与剩余格被引量：6: 3; 作者苏忍锁张馨文《陕西理工学院学报（自然科学版）》 2009年第4期63-69,共7页; 证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。; 关键词 HEYTING代数剩余格正则剩余格 boole代数 MV-代数; 在线阅读下载PDF 职称材料

软代数上函数的性质: 4; 作者成央金《湘潭大学自然科学学报》 CAS CSCD 1995年第1期25-27,39,共4页; 本文定义了软代数上Ｄｅ．Ｍｏｒｇａｎ函数的运算，得到所有Ｄｅ．Ｍｏｒｇａｎ函数关于函数的运算构成软代数；研究了集合生成子代数的性质．进一步揭示软代数由投影函数ε１，…，εｎ生成．; 关键词软代数格 De·Morgan函数投影函数 boole代数函数运算; 在线阅读下载PDF 职称材料

Stone表现定理与广义空间理论被引量：4: 5; 作者王国俊《江汉石油学院学报》 CSCD 北大核心 1996年第3期122-128,共7页; Ｓｔｏｎｅ表现定理揭示了格论与拓扑空间理论之间的深刻联系，该定理表明可以从纯代数的角度出发而得到若干不同类型的拓扑空间，并可用格论的方法与技巧对拓扑空间的特性进行研究，从而得出关于拓扑学中带有普遍意义的结论。广义空间... 展开更多; 关键词广义空间 boole代数 Stone表现定理拓扑格; 在线阅读下载PDF 职称材料

题名二元Boole代数函数式的一种化简方法: 1; 作者王志勇; 机构邯郸大学; 出处《邯郸职业技术学院学报》 1995年第1期42-45,共4页; 文摘对多变量二元Boole代数（简记B<sub>2</sub>）函数式的化简,有下列方法:（1）公式法;（2）卡诺（Karnaugh）法;（3）奎恩-麦格拉斯基（Quin—Mccluskeg）法;（4）增项消项法（iterative consensus）.对不大于6变量的函数式化简,常用的是卡诺法.; 关键词 boole代数函数式卡诺图中蕴含项素蕴含范式最小项多变量十进制数标号; 分类号 O142 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名有限Boole语义的随机化被引量：3: 2; 作者左卫兵叶晓枫; 机构华北水利水电学院数学与信息科学学院; 出处《兰州理工大学学报》 CAS 北大核心 2012年第1期143-148,共6页; 基金河南省自然科学基金(112300410040) 河南省教育厅自然科学基金(2011A110012) 河南省高等学校青年骨干教师资助计划(2011GGJS-097)的资助; 文摘基于B-赋值理论,利用赋值集的随机化方法,在以有限Boole代数为赋值格的命题逻辑中提出公式的B-随机真度,建立有限Boole语义中的随机逻辑度量空间.它是计量逻辑学和随机真度的相关理论在有限Boole语义理论上的推广.; 关键词有限boole代数 B-赋值 B-随机真度 B-随机相似度逻辑度量空间; Keywords finite boolean algebra B-valuation B-randomized truth degree B-randomized similarity degree logic metric space; 分类号 O159 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Heyting代数与剩余格被引量：6: 3; 作者苏忍锁张馨文; 机构宝鸡文理学院数学系; 出处《陕西理工学院学报（自然科学版）》 2009年第4期63-69,共7页; 基金宝鸡文理学院重点科研资助项目(ZK2519); 文摘证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R0-代数的充分必要条件。; 关键词 HEYTING代数剩余格正则剩余格 boole代数 MV-代数; Keywords Heyting algebra residuated lattice regular residuated lattice fuzzy implicative algebra boole algebra lattice implicative algebra MV-algebra weak R0-algebra; 分类号 O153.1 [理学—基础数学] O153.2 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名软代数上函数的性质: 4; 作者成央金; 机构湘潭大学数学系; 出处《湘潭大学自然科学学报》 CAS CSCD 1995年第1期25-27,39,共4页; 文摘本文定义了软代数上Ｄｅ．Ｍｏｒｇａｎ函数的运算，得到所有Ｄｅ．Ｍｏｒｇａｎ函数关于函数的运算构成软代数；研究了集合生成子代数的性质．进一步揭示软代数由投影函数ε１，…，εｎ生成．; 关键词软代数格 De·Morgan函数投影函数 boole代数函数运算; Keywords lattices, algebra, De·Morgan function; 分类号 O153.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Stone表现定理与广义空间理论被引量：4: 5; 作者王国俊; 机构陕西师范大学数学研究所; 出处《江汉石油学院学报》 CSCD 北大核心 1996年第3期122-128,共7页; 文摘Ｓｔｏｎｅ表现定理揭示了格论与拓扑空间理论之间的深刻联系，该定理表明可以从纯代数的角度出发而得到若干不同类型的拓扑空间，并可用格论的方法与技巧对拓扑空间的特性进行研究，从而得出关于拓扑学中带有普遍意义的结论。广义空间理论就是沿此方面而诞生的新学科。拓扑分子格理论则是与此相关的又一新学科。; 关键词广义空间 boole代数 Stone表现定理拓扑格; Keywords generalized space boolean algebra Heyting algebra Stone's representation theorem Local category theory topology lattices; 分类号 O189.1 [理学—基础数学]; 在线阅读下载PDF 职称材料