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

系统H_α中的广义重言式理论被引量：68: 1; 作者王国俊兰蓉《陕西师范大学学报（自然科学版）》 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 职称材料

Lukasiewicz系统中的广义重言式理论被引量：32: 2; 作者杨晓斌张文修《陕西师大学报（自然科学版）》 CAS CSCD 北大核心 1998年第4期6-9,共4页; 引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重... 展开更多; 关键词 L系统模糊逻辑广义重言式理论模糊推理; 在线阅读下载PDF 职称材料

Lukasie wicz逻辑系统中的广义重言式理论被引量：26: 3; 作者吴洪博王国俊《西南交通大学学报》 EI CSCD 北大核心 2000年第5期559-563,共5页; 将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而... 展开更多; 关键词模糊逻辑逻辑系统广义重言式理论; 在线阅读下载PDF 职称材料

泛逻辑的基本形式系统中的广义重言式理论被引量：1: 4; 作者马盈仓何华灿《计算机科学》 CSCD 北大核心 2005年第6期96-98,共3页; 本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的... 展开更多; 关键词广义重言式理论形式系统泛逻辑充分条件有理数无理数; 在线阅读下载PDF 职称材料

题名系统H_α中的广义重言式理论被引量：68: 1; 作者王国俊兰蓉; 机构陕西师范大学数学研究所; 出处《陕西师范大学学报（自然科学版）》 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 职称材料

题名Lukasiewicz系统中的广义重言式理论被引量：32: 2; 作者杨晓斌张文修; 机构西安交通大学理学院; 出处《陕西师大学报（自然科学版）》 CAS CSCD 北大核心 1998年第4期6-9,共4页; 文摘引入了一类特殊的公式序列Ａｋ（ｋ＝１，２，…），从而证明了在Ｌｕｋａｓｉｅｗｉｃｚ系统中广义重言式有更加精细的区分，即在连续值或有理值的情形下对任意真值α和β，若α≠β，则有α－Ｔ（Ｌ）≠β－Ｔ（Ｌ）．并给出了广义重言式的关系定理，即对任意真值α，α－Ｔ（Ｌ）＝∩β＜α，β∈（Ｌ）β－Ｔ（Ｌ）．; 关键词 L系统模糊逻辑广义重言式理论模糊推理; Keywords Lukasiewicz system α + tautology α + tautology α tautologies relations theorem; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名Lukasie wicz逻辑系统中的广义重言式理论被引量：26: 3; 作者吴洪博王国俊; 机构四川大学数学系西南交通大学应用数学系; 出处《西南交通大学学报》 EI CSCD 北大核心 2000年第5期559-563,共5页; 文摘将逻辑系统 W ,W ,Wk 中的广义重言式理论进行推广并应用到Lukasiewicz逻辑系统中 ,主要结果是 :得到了逻辑公式集F(S)在该系统中关于﹁同余的分划 ;证明了在该逻辑系统中对每个无理数α而言 ,不存在可达α 重言式 ,且对每个实数α而言 ,不存在可达α+ 重言式 ;给出了广义重言式、广义矛盾式各类之间的关系定理。; 关键词模糊逻辑逻辑系统广义重言式理论; Keywords fuzzy logic valuation semantics Lukasiewicz logic system generalized tautology generalized contradiction partition; 分类号 O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料

题名泛逻辑的基本形式系统中的广义重言式理论被引量：1: 4; 作者马盈仓何华灿; 机构西北工业大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2005年第6期96-98,共3页; 基金国家自然科学基金(批准号:60273087) 国家863项目(2002AA412020) 北京市自然科学基金(40320009); 文摘本文首次对泛逻辑的广义重言式理论进行研究。给出了泛逻辑的基本形式系统中的广义重言式的一系列性质。主要结果有:在泛逻辑的基本形式系统中,对于[0,1]内的任意有理数,均有可达重言式,对于其中的无理数,均没有可达重言式;给出F(S)的一个分划;给出[α]-MP(α∈I_Q)规则成立的一个充分条件。; 关键词广义重言式理论形式系统泛逻辑充分条件有理数无理数; Keywords Universal logic Generalized tautologies Upgrade algorithm Partition Generalized semantic MP-rule Generalized semantic HS-rule; 分类号 TP18 [自动化与计算机技术—控制理论与控制工程] O141.1 [理学—基础数学]; 在线阅读下载PDF 职称材料