检索结果-南通市图书馆

R_0-代数[0,1]的子代数与广义重言式

在线全文

学校读者我要写书评

暂无评论

数学学报（中文版） 2004年第3期47卷 521-526页

作者：王龙春王国俊陕西师范大学数学研究所西安710062

本文是对修正的Kleene系统中广义重言式理论的推广,讨论了R_0-代数[0,1]的各类无限子R_0-代数中的广义重言式,证明了在子R_0-代数E_2中,中存在着可数多个不同的广义重言式。

关键词：修正的Kleene系统子R0-代数广义重言式

n值逻辑系统L_n~*中广义重言式的计量化研究

在线全文

学校读者我要写书评

暂无评论

陕西师范大学学报（自然科学版） 2009年第2期37卷 1-5,12页

作者：王国俊时慧娴陕西师范大学数学与信息科学学院陕西西安710062 上海市高可信计算重点实验室华东师范大学上海200062

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了... 详细信息

基于均匀概率空间的无穷乘积,通过考虑使某一公式的赋值不小于(或大于)ζ(ζ∈[0,1])的那些赋值映射之集在总赋值集合中所占的份额,在n值R0-命题逻辑系统L*n中引入公式的ζ-真度及ζ+-真度概念,从而将重言式的概念进行双重程度化;提出了σ-(ζ-重言式)和σ-(ζ+-重言式)理论;研究了ζ-真度(ζ+-真度)与广义重言式及程度化的广义重言式之间的关系,给出了广义真度推理规则.

关键词：广义重言式 ζ-真度 σ-(ζ-重言式) 广义真度推理规则

扰动模糊命题逻辑的代数结构及其广义重言式性质

在线全文

学校读者我要写书评

暂无评论

高校应用数学学报（A辑） 2005年第4期20卷 483-488页

作者：韩莹陈森发东南大学系统工程研究所江苏南京210096

着眼于扰动模糊命题逻辑的代数结构,为研究二维扰动模糊命题逻辑最大子代数I2R及其广义重言式提供了一些代数理论基础,最后研究了子代数间广义重言式的关系.

关键词：模糊命题逻辑扰动模糊命题逻辑代数结构广义重言式

在线全文

学校读者我要写书评

暂无评论

系统RDP中的广义重言式理论

模糊系统与数学 2010年第4期24卷 6-11页

作者：黄阿敏裴道武浙江理工大学理学院浙江杭州310018 杭州聋人学校浙江杭州310018

研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法... 详细信息

研究带参数的模糊逻辑系统RDP中的广义重言式理论。结果表明系统RDP中只有三种不同的广义重言式,即(1/2)-重言式,(1/2)+-重言式和重言式。将一些多值逻辑系统和模糊逻辑系统中行之有效的升级算法运用于系统RDP,证明在该系统中,升级算法可以将可达0-重言式和可达(1/2)-重言式分别提升为可达(1/2)-重言式和可达(1/2)+-重言式,但是,对可达(1/2)+-重言式升级算法的结果仍然得到可达(1/2)+-重言式。这表明对非重言式有限次利用升级算法未必能得到重言式。

关键词：参数RDP系统广义重言式重言式升级算法