函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用

• 作者: 吴洪博 王伦磊
• 来源期刊: 电子学报
• 学科: 数学
• 关键词: 计量逻辑 黎曼积分 R0命题逻辑 局部有限理论 广义真度
• 年，卷（期）: 2016,（8）
• 所属期刊栏目: 学术论文
• 页码范围: 1909-1914
• 页数: 6页
• 分类号: O141.1
• 字数: 5051字
• 语种: 中文
• DOI: 10.3969/j.issn.0372-2112.2016.08.020

摘要

提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式，还证明了n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理；并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式和n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理，在连续值R0命题逻辑中建立了相对于局部有限理论的公式的广义真度理论，为在R0命题逻辑中建立基于局部有限理论的近似推理，广义积分语义理论等奠定了基础。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴洪博	陕西师范大学数学与信息科学学院	194	656	12.0	16.0
2	王伦磊	陕西师范大学数学与信息科学学院	3	0	0.0	0.0