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

多值逻辑系统W_n中α-三I问题的形式解被引量：5: 1; 作者刘东利王国俊《计算机工程与应用》 CSCD 北大核心 2005年第25期51-53,共3页; 在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。; 关键词 α-三I问题多值逻辑系统Wn 形式化三I解; 在线阅读下载PDF 职称材料

Lukasiewicz多值逻辑系统中的相似度及伪距离被引量：1: 2; 作者刘艳郑慕聪《西安科技大学学报》 CAS 北大核心 2005年第2期263-266,共4页; 逻辑度量空间是近似推理的重要框架。文中在文献[1]中提出的公式集F(S)上相似度的基础上给出了另外两种相似度,讨论了其性质,证明了这两种相似度导出的距离也是F(S)上的伪距离。同时研究了这两个伪距离空间的重要性质,并得到了3种伪距... 展开更多; 关键词相似度伪距离多值逻辑系统近似推理度量空间距离空间比例关系数值化性质; 在线阅读下载PDF 职称材料

关于多值逻辑的解释问题: 3; 作者梁彪《现代哲学》北大核心 1990年第4期85-88,共4页; 多值逻辑是现代逻辑的一个分支。几十年来,多值逻辑的发展非常迅速,出现了种类繁多的系统。这些系统的建立,极大地丰富了整个逻辑理论。但是,发展多值逻辑的目的不仅仅为了满足人们的好奇心,更重要的是要用它们来解决某些具体的科学问... 展开更多; 关键词多值逻辑系统现代逻辑逻辑理论命题演算真值表模态逻辑三值逻辑逻辑联结词相互关系二值逻辑; 在线阅读下载PDF 职称材料

系统H_α中的广义重言式理论被引量：68: 4; 作者王国俊兰蓉《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第2期1-11,共11页; 给出了一类带参数的[0,1]上的t 模 α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算子;当α=0时,Hα是G del蕴涵算子,所以R0算子与G del算子在Hα系统中统一起来.在,∨,→1Hα系统中引入了... 展开更多; 关键词多值逻辑系统蕴涵算子 Hα系统广义重言式理论 T-模子代数分类定理; 在线阅读下载PDF 职称材料

系统H_a中广义语义MP规则与广义语义HS规则被引量：2: 5; 作者关晓红折延宏王国俊《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第1期9-12,33,共5页; 基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广... 展开更多; 关键词多值逻辑系统重言式广义语义MP规则广义语义HS规则分划; 在线阅读下载PDF 职称材料

系统H_α中的子代数的广义重言式理论: 6; 作者李顺琴王国俊《计算机工程与应用》 CSCD 北大核心 2010年第8期37-39,51,共4页; 将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。; 关键词多值逻辑系统广义重言式子代数分划; 在线阅读下载PDF 职称材料

吴卡西维茨的三值逻辑被引量：1: 7; 作者郭泽深《现代哲学》 1987年第4期81-83,86,共4页; 现代杰出的逻辑学家吴卡西维茨(Jan·tukasiewicz 1878—1956),是位向古典逻辑挑战的非亚里士多德主义者。早在1910年,他就想证明亚里士多德的矛盾律并非象人们所坚信的那样不证自明,但是没有成功。不过他终于在亚里士多德的思想中... 展开更多; 关键词三值逻辑亚里士多德二值逻辑多值逻辑系统模态逻辑矛盾律古典逻辑逻辑学家排中律真值表; 在线阅读下载PDF 职称材料

题名多值逻辑系统W_n中α-三I问题的形式解被引量：5: 1; 作者刘东利王国俊; 机构陕西师范大学数学研究所; 出处《计算机工程与应用》 CSCD 北大核心 2005年第25期51-53,共3页; 基金国家自然科学基金重点资助项目(批准号:10331010); 文摘在多值逻辑系统Wn中提出了琢-三I问题。通过在F(S)中引入一个偏序,讨论了琢-GMP和多重琢-GMP问题的形式化推理问题,得到了琢-FMP问题的形式化三I解,从而在多值逻辑系统Wn中建立了琢-三I问题的形式化推理机制。; 关键词 α-三I问题多值逻辑系统Wn 形式化三I解; Keywords problem of α-triple I,many-valued logic system Wn,formal triple I solution; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Lukasiewicz多值逻辑系统中的相似度及伪距离被引量：1: 2; 作者刘艳郑慕聪; 机构西安科技大学基础课部陕西师范大学数学与信息科学学院; 出处《西安科技大学学报》 CAS 北大核心 2005年第2期263-266,共4页; 文摘逻辑度量空间是近似推理的重要框架。文中在文献[1]中提出的公式集F(S)上相似度的基础上给出了另外两种相似度,讨论了其性质,证明了这两种相似度导出的距离也是F(S)上的伪距离。同时研究了这两个伪距离空间的重要性质,并得到了3种伪距离的比例关系,为推理程度的数值化提供了依据。; 关键词相似度伪距离多值逻辑系统近似推理度量空间距离空间比例关系数值化性质; Keywords proposition fuzzy logic tautology degree integreted resemblance degree peseudo-distance; 分类号 O141.1 [理学—基础数学] TP18 [自动化与计算机技术—控制理论与控制工程]; 在线阅读下载PDF 职称材料

题名关于多值逻辑的解释问题: 3; 作者梁彪; 出处《现代哲学》北大核心 1990年第4期85-88,共4页; 文摘多值逻辑是现代逻辑的一个分支。几十年来,多值逻辑的发展非常迅速,出现了种类繁多的系统。这些系统的建立,极大地丰富了整个逻辑理论。但是,发展多值逻辑的目的不仅仅为了满足人们的好奇心,更重要的是要用它们来解决某些具体的科学问题。因此,对于任何一个逻辑系统,人们都会提出这样的问题:“它有什么用?它是否反映某些客观现实?”对这些问题的回答就涉及到系统的解释问题。; 关键词多值逻辑系统现代逻辑逻辑理论命题演算真值表模态逻辑三值逻辑逻辑联结词相互关系二值逻辑; 分类号 B15 [哲学宗教—世界哲学]; 在线阅读下载PDF 职称材料

题名系统H_α中的广义重言式理论被引量：68: 4; 作者王国俊兰蓉; 机构陕西师范大学数学研究所; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2003年第2期1-11,共11页; 基金国家自然科学基金重点资助项目(19831040); 文摘给出了一类带参数的[0,1]上的t 模 α及与之伴随的新的蕴涵算子Hα(0≤α≤1),进而建立了多值系统Hα.当α=1时,Hα就是R0型蕴涵算子;当α=0时,Hα是G del蕴涵算子,所以R0算子与G del算子在Hα系统中统一起来.在,∨,→1Hα系统中引入了带参数的非运算 α,研究了多值系统H1),以H1=( 12222为赋值域建立了F(S)中重言式的分类定理,并将广义重言式分类定理推广到系统Hα(0<α<1)中.; 关键词多值逻辑系统蕴涵算子 Hα系统广义重言式理论 T-模子代数分类定理; Keywords t-norm left-continuous implication operator subalgebra generalized tautology tautology; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名系统H_a中广义语义MP规则与广义语义HS规则被引量：2: 5; 作者关晓红折延宏王国俊; 机构陕西师范大学数学与信息科学学院; 出处《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第1期9-12,33,共5页; 基金国家自然科学基金重点资助项目(10331010); 文摘基于一类带参数a的[0,1]上的t-模*a及与之伴随的蕴涵算子Ha(0≤a≤1)所建立的多值逻辑系统Ha,研究了当a=12时的多值逻辑系统H12.以H12为赋值域利用广义重言式概念得到了公式集F(S)的一个分划,建立了系统H12中的各类广义语义MP规则与广义语义HS规则,并把系统H12中的相关结论推广到系统Ha(0<a<1)中.; 关键词多值逻辑系统重言式广义语义MP规则广义语义HS规则分划; Keywords many-valued logic system tautology generalized semantic MP rule generalized semanticHS rule partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名系统H_α中的子代数的广义重言式理论: 6; 作者李顺琴王国俊; 机构延安大学数学与计算机科学学院陕西师范大学数学研究所; 出处《计算机工程与应用》 CSCD 北大核心 2010年第8期37-39,51,共4页; 基金国家自然科学基金Grant No.10331010 延安大学基金(No.YDK2007-28)~~; 文摘将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。; 关键词多值逻辑系统广义重言式子代数分划; Keywords many-valued logical system generalized tautology subalgebra partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名吴卡西维茨的三值逻辑被引量：1: 7; 作者郭泽深; 机构华南师大政治系; 出处《现代哲学》 1987年第4期81-83,86,共4页; 文摘现代杰出的逻辑学家吴卡西维茨(Jan·tukasiewicz 1878—1956),是位向古典逻辑挑战的非亚里士多德主义者。早在1910年,他就想证明亚里士多德的矛盾律并非象人们所坚信的那样不证自明,但是没有成功。不过他终于在亚里士多德的思想中找到了一个突破口,在古典的二值逻辑之外,开辟了三值逻辑、多值逻辑以及模态逻辑的新领域。; 关键词三值逻辑亚里士多德二值逻辑多值逻辑系统模态逻辑矛盾律古典逻辑逻辑学家排中律真值表; 分类号 B15 [哲学宗教—世界哲学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	多值逻辑系统W_n中α-三I问题的形式解	刘东利王国俊	《计算机工程与应用》 CSCD 北大核心	2005	5	在线阅读下载PDF 职称材料
2	Lukasiewicz多值逻辑系统中的相似度及伪距离	刘艳郑慕聪	《西安科技大学学报》 CAS 北大核心	2005	1	在线阅读下载PDF 职称材料
3	关于多值逻辑的解释问题	梁彪	《现代哲学》北大核心	1990	0	在线阅读下载PDF 职称材料
4	系统H_α中的广义重言式理论	王国俊兰蓉	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2003	68	在线阅读下载PDF 职称材料
5	系统H_a中广义语义MP规则与广义语义HS规则	关晓红折延宏王国俊	《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心	2007	2	在线阅读下载PDF 职称材料
6	系统H_α中的子代数的广义重言式理论	李顺琴王国俊	《计算机工程与应用》 CSCD 北大核心	2010	0	在线阅读下载PDF 职称材料
7	吴卡西维茨的三值逻辑	郭泽深	《现代哲学》	1987	1	在线阅读下载PDF 职称材料