陕西师范大学数学与信息科学学院数学研究所
- 作品数：152 被引量：1,551H指数：27
- 相关作者：宋庆燕何颖俞段巧林何颖瑜更多>>
- 相关机构：西安交通大学理学院西安交通大学理学院基础科学研究中心延安大学数学与计算机科学学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金陕西省教育厅科研计划项目更多>>
- 相关领域：理学自动化与计算机技术自然科学总论哲学宗教更多>>
- 修正的Kleene系统中的子代数的广义矛盾式
- 2007年
- 将修正的Kleene系统中的广义矛盾式理论进行推广,在R0代数[0,1]的各类无限子R0代数中的广义重言式的基础上讨论了广义矛盾式理论:(1)讨论了一般子R0代数的广义矛盾式;(2)根据聚点性态的不同将无限子R0代数作了分类,并在各类无限子R0代数中讨论了广义矛盾式,进而在相应的子R0代数中给出了公式集F(S)的一种划分;(3)证明了在子R0代数E2中,L*中存在着可数多个不同的广义矛盾式.
- 李顺琴王国俊
- 关键词：广义矛盾式
- 基础R0－代数的性质及在L^＊系统中的应用被引量：31
- 2003年
- 研究了王国俊教授建立的模糊命题演算的形式演绎系统和与之在语义上相关的R_0-代数,提出了基础R_0-代数的观点并讨论了其中的一些性质,在将系统中的推演证明转化为相应的R_0-代数中的代数运算方面作了一些尝试,作为它的一个应用,证明了系统中的模糊演绎定理。
- 吴洪博
- 关键词：模糊逻辑R0-代数
- 拓扑空间范畴、拓扑FUZZ范畴与拓扑分子格范畴间的反射与余反射被引量：4
- 1998年
- 从整体角度出发，证明了拓扑空间范畴Ｔｏｐ分别是拓扑Ｆｕｚｚ范畴ＴｏｐＦｕｚ与拓扑分子格范畴ＴＭＬ的反射与余反射满子范畴，ＴｏｐＦｕｚ是ＴＭＬ的反射与余反射（非满）子范畴．
- 李永明王国俊
- 广义MP规则被引量：16
- 2000年
- 提出了广义MP规则与集体广义MP规则 ,并在二值逻辑系统中通过引入根的概念给出与上述规则在语构意义下的解 .以三I方法为基础 ,在连续值逻辑系统L 中讨论了广义MP规则与集体MP规则的语构意义下的解 .又分别在二值与Lukasiewicz三值系统中给出了上述问题在语义意义下的解 .
- 王国俊
- 关键词：模糊逻辑
- 关于Fuzzy格的若干注记—兼评直觉主义模糊集被引量：13
- 1997年
- 对Ｆｕｚｚｙ格Ｌ的定义、演变及概括范围作了分析。
- 何颖瑜王国俊
- 关键词：L-模糊集模糊格
- 有理数、无理数与实数被引量：8
- 1998年
- 本文用通俗的语言向大学一、二年级学生介绍有理数,无理数与实数的基本性质,旨在把抽象的概念与艰涩的证明转化成有趣易懂的概念与方法.
- 王国俊
- 关键词：有理数无理数实数
- 三值Majority函数单调的充要条件
- 1998年
- 刘练珍王国俊
- 关键词：MAJORITY函数单调函数充要条件
- 紧Hausdorff测度空间上的Riemann积分理论被引量：3
- 2004年
- 在紧Hausdorff测度空间上建立了Riemann型的积分理论,证明了函数可积的充要条件是该函数几乎处处连续.提出了Riemann积分的可计算性概念,证明了Riemann积分是可计算的当且仅当积分域可以度量化.
- 王国俊
- 关键词：RIEMANN积分
- 积分语义学中的积分相似度与伪距离被引量：8
- 2000年
- 研究了积分语义学理论的相似度与伪距离 ,对特殊公式In=p1∧p2 ∧…∧pn,Un=p1∨ p2 ∨…∨ pn 的真度值进行了计算 ,给出了F(S)中的积分相似度和F(S)上的伪距离的一些性质 .得到了 :( 1 )在任何一个逻辑系统中τ(In) =1n + 1 ,τ(Un) =nn + 1 ;( 2 )在Lukasiewicz逻辑系统中 ,对公式A和正数ε ,存在公式B ,使得1 -ε<ξ(A ,B) <1 ;( 3)在Lukasiewicz逻辑系统中 ,(ⅰ )设C为矛盾式 ,则 ρ(A→C ,B→C) =ρ( A , B) ,(ⅱ ) ρ( (A→B)→B ,(C→D)→D) =ρ(A∨B ,C∨D) .
- 吴洪博文秋梅
- 关键词：命题逻辑真度伪距离
- L~*中的典型赋值中介与公理系统的简化被引量：21
- 1998年
- 何颖俞王国俊
- 关键词：模糊推理公理系统
