李成允
- 作品数：23 被引量：25H指数：4
- 供职机构：聊城大学数学科学学院更多>>
- 发文基金：教育部科学技术研究重点项目国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术更多>>
- n值逻辑系统中的随机化研究被引量：1
- 2009年
- 利用赋值集的随机化方法,在n值逻辑系统Rn提出了公式的DRn-真度的概念。给出了两公式间的DRn-相似度与伪距离的概念,建立了DRn-逻辑度量空间。
- 孟广武张兴芳李成允
- 正则蕴涵算子的统一表达式
- 2009年
- 简化了正则蕴含算子的定义,证明了蕴含算子具有伴随三角模与具有正则性是等价的,给出了正则蕴涵算子的统一表达式.
- 李成允张兴芳
- 关键词：三角模蕴涵算子正则性等价
- Gdel中单个或两个原子生成公式的真度分布
- 2009年
- 以Gdel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。得到任一由单个或两个原子生成的公式的真度必为0,1/6,2/6,1/2,4/6,5/6,1之一。进而按照真度将由单原子或两个原子生成的公式集进行了细致的分类。
- 李友雨张兴芳李成允
- 关键词：逻辑公式真度
- 正则蕴涵算子族G-λ-R_0及其三I支持算法被引量：5
- 2009年
- 首先给出了一个新的蕴涵算子族:G-λ-R(0λ∈[0,1])(它包括G觟de(l简称RG)算子与R0算子)。然后重点讨论了G-λ-R0(λ∈[0,1])族算子的伴随算子及其正则性。结果表明,在该算子族中,每一个算子都具有伴随算子且具有正则性。从而说明了此算子是较理想的蕴涵算子。最后讨论了基于此蕴涵算子族的三I支持算法。
- 张森李成允张兴芳
- 关键词：伴随算子正则性三I支持算法
- n值逻辑系统子代数个数之讨论被引量：1
- 2009年
- 在广义和狭义两方面分别研究了六个系统Ln,Sn,Gn,Kn,Zn,Wn的子代数的个数的特征及其计数问题。由此,得到了逻辑系统Ln,Sn,Gn,Wn,Kn,Zn的子代数个数及其性质。
- 李绍勇李成允
- 关键词：子代数蕴涵算子逻辑系统
- G(o)del逻辑中真值函数特征及真度分布
- 本文针对G(o)del系统中由三个原子生成的公式，给出了其真值函数的特征和真度的分布。进而按照真度的不同将由三原子生成的公式集进行了细致的分类。
- 张风姣张兴芳李成允
- 关键词：逻辑公式真值函数真度
- 构造三角模的新方法被引量：1
- 2010年
- 根据上下确界的性质,首先利用一个满足交换律和结合律的二元函数得到了几个构造三角模和三角余模的方法;然后又利用一个只满足结合律的二元函数得到了几个构造三角模和三角余模的方法。
- 李成允张兴芳
- 关键词：三角模二元函数
- Gdel逻辑和L~*逻辑中公式的真度分布被引量：5
- 2010年
- 研究了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＊逻辑系统中公式的真度集均为[0,1]上的有理数集.最后,还给出了两系统中公式的相似度,伪距离的分布情况.
- 李成允张兴芳
- 关键词：逻辑公式真度伪距离
- 一类新的左连续三角模族及其伴随蕴涵算子族被引量：4
- 2009年
- 给出一种构造带参数的左连续三角模的新方法,由此得到7种新的左连续三角模族及其伴随蕴涵算子族。证明其伴随蕴涵算子均满足正则性。
- 李成允张兴芳
- 关键词：蕴涵算子正则性
- Π系统中公式的真值函数及真度分布
- 2009年
- 以Π系统为背景,针对由单个原子生成的公式,解决了王国俊教授提出的函数决定公式的问题(VDF问题),即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何;进而按照逻辑等价的关系将由单原子生成的公式集进行细致地分类;最后又给出了由单个原子生成的公式的真度分布情况。
- 李友雨张兴芳李成允
- 关键词：逻辑公式真值函数真度
