|
国家科技期刊平台
登录
|
注册
检索
高级检索
相关度
相关度
发表时间
每页显示10条
每页显示10条
每页显示20条
每页显示30条
已找到
1
条结果
函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用
北大核心
CSCD
CSTPCD
作者：
吴洪博
王伦磊
发表期刊：
电子学报 2016年8期
关键词：
计量逻辑
黎曼积分
R0命题逻辑
局部有限理论
广义真度
摘要：
提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式，还证明了n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理；并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式和n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理，在连续值R0命题逻辑中建立了相对于局部有限理论的公式的广义真度理论，为在R0命题逻辑中建立基于局部有限理论的近似推理，广义积分语义理论等奠定了基础。
