修正的Gdel逻辑系统中三类无限子代数及其F(S)的分划 被引量：2

1

作者 李修清 林亮 《模糊系统与数学》 CSCD 北大核心 2010年第6期42-47,共6页

将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论了逻辑系统G中三类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在■的三类子代数中分别给出F(S)关于同余的一个分划。

关键词 godel逻辑系统 广义重言式 子代数 分划

原文传递

Gdel系统中一类子代数上的广义重言式理论 被引量：4

2

作者 魏海新 《计算机工程与应用》 CSCD 北大核心 2010年第29期56-57,62,共3页

将Gdel逻辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F(S)关于﹁同余的一个分划。

关键词 Gdel逻辑系统 广义重言式 子代数 分划

在线阅读 下载PDF 职称材料

逻辑系统MTL(BL)的新的模式扩张系统GNMTL(GNBL) 被引量：4

3

作者 张兴芳 《模糊系统与数学》 CSCD 北大核心 2009年第1期6-11,共6页

首先给出了Gdel非算子的一个重要性质:一个模糊逻辑系统中的非是Gdel非的充要条件是如果x*y=0,则xy=0。然后,基于Gdel非算子分别提出了逻辑系统MTL和BL的新的模式扩张系统GNMTL和GNBL。GNMTL(GNBL)是基于一类左连续t-模(连续t-模)... 首先给出了Gdel非算子的一个重要性质:一个模糊逻辑系统中的非是Gdel非的充要条件是如果x*y=0,则xy=0。然后,基于Gdel非算子分别提出了逻辑系统MTL和BL的新的模式扩张系统GNMTL和GNBL。GNMTL(GNBL)是基于一类左连续t-模(连续t-模)(都包含乘积t-模及Gdel t-模)的模糊逻辑的共同形式化;最后,分别给出了著名逻辑系统Gd与Π分别作为GNMTL和GNBL的模式扩张形式,同时给出了Gdel逻辑系统的几种等价形式。 展开更多

关键词 模糊逻辑 逻辑系统GNMTL 逻辑系统GNBL Gdel逻辑系统Gd Product逻辑系统Π

在线阅读 下载PDF 职称材料

n值Gdel命题逻辑系统中的F度累积理论 被引量：2

4

作者 惠小静 《模糊系统与数学》 CSCD 北大核心 2013年第2期1-7,共7页

在n值Gdel命题逻辑系统中指出概率逻辑学基本定理成立,并提出了与真度相对应的F度,证明了F度累积定理。并比较了概率逻辑学基本定理与F度累积定理的异同。

关键词 godel命题逻辑系统 有效推理 概率 真度 F度

原文传递

基于Gdel蕴涵算子的导出算子的n值逻辑系统

5

作者 杨春志 李永明 《纺织高校基础科学学报》 CAS 2008年第1期10-13,共4页

讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理... 讨论剩余类蕴涵算子之一Gdel蕴涵算子的导出算子的三值系统G3和n值逻辑系统Gn(n>3).给出了G3的真值表,它是C2真值表的扩充,也保持MP规则和正则性.讨论了G3中的重言式(tautology)与IPC(intuitionistic propositional calculus)公理之间的关系以及G3的准重言式与C2的重言式之间的关系.考虑了Gn中的子代数及不同逻辑系统Gn中重言式的比较. 展开更多

关键词 godel蕴涵算子 godel蕴涵算子的导出算子G3 重言式 n值逻辑系统Gn

在线阅读 下载PDF 职称材料

n值Gdel逻辑系统中广义矛盾式的计量化研究

6

作者 李顺琴 《延安大学学报（自然科学版）》 2016年第1期3-5,共3页

利用势为n的均匀概率空间的无穷乘积,在n值Gdel逻辑系统中引入公式的α-矛盾度概念,从而将矛盾式的概念进行双重程度化,进而给出广义矛盾度的推理规则。

关键词 godel逻辑系统 α-矛盾度 α-差异度 伪距离

在线阅读 下载PDF 职称材料

G?del n值命题逻辑系统中的Δ真度 被引量：1

7

作者 朱乃调 惠小静 +1 位作者 高晓莉 高姣 《模糊系统与数学》 CSCD 北大核心 2016年第6期12-18,共7页

在G?del n值命题逻辑系统中添加了Δ算子,给出了G?del n值命题逻辑系统的Δ真度的定义及等价形式,讨论了在该系统下Δ真度的一些基本性质,论证了Δ真度的推理规则。

关键词 godel n值命题逻辑系统 Δ算子 Δ真度

原文传递

G?del n值命题逻辑系统的真度理论

8

作者 朱乃调 惠小静 +1 位作者 高晓莉 高姣 《计算机工程与应用》 CSCD 北大核心 2017年第11期67-72,共6页

首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明。

关键词 godeln命题逻辑系统 真度 相似度 伪距离

在线阅读 下载PDF 职称材料

Gdel逻辑系统中一类模糊逻辑方程解的性质

9

作者 杨洁 《烟台大学学报（自然科学与工程版）》 CAS 2012年第3期166-169,231,共5页

以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Gdel逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如... 以模糊逻辑系统中公式的真度理论为基础,提出了模糊逻辑方程概念,从而实现了方程思想与模糊逻辑的结合;并在Gdel逻辑系统中选取形如τ(p→X)=α的一类模糊逻辑方程,展开方程解的性质讨论,其中,p为原子命题,X是待定的公式,由此得到如下结论:模糊逻辑方程τ(p→X)=α有同型解当且仅当α=0或1;有m-同型解(m≥2)当且仅当α∈{i/(m+2)!|i=0,1,2,…,(m+2)!}. 展开更多

关键词 Gdel逻辑系统 真值函数 真度 模糊逻辑方程

在线阅读 下载PDF 职称材料

Gdel逻辑系统中公式真度判断方法

10

作者 张凤姣 张兴芳 《聊城大学学报（自然科学版）》 2011年第1期39-42,46,共5页

通过给出Gdel系统中公式的伪真值函数的概念,得到了判断原子个数比较少的公式真度的一般方法.

关键词 Gdel逻辑系统 逻辑公式 真值函数 伪真值函数 真度

在线阅读 下载PDF 职称材料

增加Δ算子的G?del n值命题逻辑系统理论的平均真度

11

作者 王勇勇 惠小静 《计算机工程与应用》 CSCD 北大核心 2018年第19期68-71,134,共5页

在添加了Δ算子G?deln值命题逻辑系统中,给出了G?del n值命题逻辑系统中有限理论的平均真度的定义,给出了该系统下的一些重要结论并给予证明,验证了在该系统下平均真度的一些基本性质,为进一步在该系统下研究平均真度奠定了基础。

关键词 godeln值命题逻辑系统 有限理论 平均真度 Δ算子

在线阅读 下载PDF 职称材料

Gdel逻辑系统中的函数决定公式问题 被引量：7

12

作者 李成允 张兴芳 《系统科学与数学》 CSCD 北大核心 2010年第2期283-288,共6页

以Gdel系统为背景,成功解决了王国俊教授提出的函数决定公式问题即满足什么条件的函数可由逻辑公式导出,或逻辑公式的真值函数的特征如何。然后,又给出了逻辑公式的真度集的特征,进而按照逻辑等价的关系将公式集进行了细致的分类。

关键词 godel逻辑系统 真值函数 函数决定公式问题

原文传递

Gdel逻辑和L~*逻辑中公式的真度分布 被引量：5

13

作者 李成允 张兴芳 《系统科学与数学》 CSCD 北大核心 2010年第10期1417-1428,共12页

研究了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＊逻辑系统中公式的真度的分布情况.结果表明在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]上的有理数集.最后,还给出了两系统中公式的相似度,伪距离的分布情况. 展开更多

关键词 godel逻辑系统 L＊逻辑系统 逻辑公式 真度 相似度 伪距离

原文传递