李成允

作品数：21被引量：24H指数：3
导出分析报告
供职机构：聊城大学数学科学学院更多>>
发文主题：逻辑系统真度真值函数DEL逻辑公式更多>>
发文领域：理学自动化与计算机技术更多>>
发文期刊：《系统科学与数学》《井冈山大学学报（自然科学版）》《聊城大学学报（自然科学版）》《德州学院学报》更多>>
所获基金：教育部科学技术研究重点项目国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
公式真度的大小之比较
《模糊系统与数学》2011年第2期7-12,共6页李友雨 张兴芳 李成允 
教育部科学技术研究重点项目(206089)
在不同的逻辑系统中,同一公式的真度往往差别很大。因此,本文系统探讨了六个n值命题逻辑系统中公式真度的分布情况。首先,计算了六个n值命题逻辑系统中一个典型公式的真度;然后通过列表比较了该公式在这六个逻辑系统中真度的大小。最后...
关键词：n值命题逻辑 公式 真度 
Gdel逻辑和L~*逻辑中公式的真度分布被引量：5
《系统科学与数学》2010年第10期1417-1428,共12页李成允 张兴芳 
国家自然科学基金(60875034)项目资助
研究了Godel逻辑系统和L＊逻辑系统中公式的真度的分布情况.结果表明在Godel逻辑系统和L＊逻辑系统中含有n个原子命题的公式（n元公式）的真度集分别为{i/（n＋1）!｜0≤i≤（n＋1）!,i∈N}和{i/（n＋1）!｜0≤i≤2n（n＋1）!,i∈N}.进...
关键词：Godel逻辑系统 L＊逻辑系统 逻辑公式 真度 相似度 伪距离 
构造三角模的新方法被引量：1
《井冈山大学学报（自然科学版）》2010年第4期5-8,共4页李成允 张兴芳 
国家自然科学基金项目(60875034)
根据上下确界的性质,首先利用一个满足交换律和结合律的二元函数得到了几个构造三角模和三角余模的方法;然后又利用一个只满足结合律的二元函数得到了几个构造三角模和三角余模的方法。
关键词：结合函数 三角模 三角余模 构造方法 二元函数 
L＊系统中的函数决定公式问题
《计算机工程与应用》2010年第15期31-33,共3页袁彦莉 李成允 张兴芳 
国家自然科学基金No.60875034~~
基于L*系统,针对由两个原子生成的公式,解决了王国俊教授提出的函数决定公式问题,给出了逻辑公式真值函数的特征,进而按照逻辑等价的关系将两个原子生成的公式集进行了细致的分类并给出了此类公式真度的特征。
关键词：L＊系统 真值函数 真度 
三值乘积逻辑系统π_3中的随机化研究被引量：3
《计算机工程与应用》2010年第14期34-38,52,共6页屠桂晶 张兴芳 李成允 李友雨 
国家自然科学基金No.60875034~~
利用赋值集的随机化方法,在三值乘积逻辑π3中提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的Dπ3-相似度与伪距离的概念,并建立了Dπ3-逻辑度量空间,证明了此空间没有孤立点。
关键词：Dπ3-随机真度 Dπ3-相似度 Dπ3-逻辑度量空间 
n值Gdel逻辑系统中的随机化研究被引量：2
《计算机工程与应用》2010年第12期42-45,共4页袁彦莉 张兴芳 李成允 
国家自然科学基金No.60875034~~
利用赋值集的随机化方法,在n值Gdel逻辑系统中提出了公式的随机真度,证明了所有公式的随机真度集在[0,1]中没有孤立点;给出了两公式间的DGn-相似度与伪距离的概念,并建立了DGn-逻辑度量空间,证明了此空间没有孤立点.
关键词：DGn-真度 DGn-相似度 DGn-逻辑度量空间 
L*系统中由单个原子生成公式的真度分布
《计算机工程与应用》2010年第10期31-32,共2页李友雨 张兴芳 李成允 
教育部科学技术研究重点项目No.206089~~
以L*系统为背景,针对由单个原子生成的公式,解决了公式的真度分布情况。得到任一单原子生成公式的真度必为0,1/8,2/8,3/8,…7/8,1之一。进而按照真度将由单原子生成的公式集进行了细致地分类,共分9类。
关键词：L*系统 逻辑公式 真度 
Gdel逻辑系统中的函数决定公式问题被引量：7
《系统科学与数学》2010年第2期283-288,共6页李成允 张兴芳 
教育部科学技术研究重点项目(206089)资助
以Gdel系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类。
关键词：Godel逻辑系统 真值函数 函数决定公式问题 
n值逻辑系统子代数个数之讨论
《计算机工程与应用》2009年第27期62-65,共4页李绍勇 李成允 
教育部科学技术研究重点项目(No.206089)
在广义和狭义两方面分别研究了六个系统Ln,Sn,Gn,Kn,Zn,Wn的子代数的个数的特征及其计数问题。由此,得到了逻辑系统Ln,Sn,Gn,Wn,Kn,Zn的子代数个数及其性质。
关键词：n值逻辑 子代数 蕴涵算子 逻辑系统 子代数的个数 
L＊逻辑系统中的函数决定公式问题被引量：3
《山东大学学报（理学版）》2009年第12期91-96,共6页李成允 张兴芳 
国家自然科学基金资助项目(60875034)
给出了L*(或NM)逻辑系统中公式的真值函数特征和L*逻辑系统中公式的真度集特征。
关键词：L＊逻辑系统 真值函数 真度 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部