期刊文献+
共找到2篇文章
< 1 >
每页显示 20 50 100
L*逻辑系统中的函数决定公式问题 被引量:3
1
作者 李成允 张兴芳 《山东大学学报(理学版)》 CAS CSCD 北大核心 2009年第12期91-96,共6页
给出了L*(或NM)逻辑系统中公式的真值函数特征和L*逻辑系统中公式的真度集特征。
关键词 l*逻辑系统 真值函数 真度
原文传递
Gdel逻辑和L~*逻辑中公式的真度分布 被引量:5
2
作者 李成允 张兴芳 《系统科学与数学》 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*逻辑系统 逻辑公式 真度 相似度 伪距离
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部