函数算术均值极限的黎曼积分形式及其在R<sub>0</sub>命题逻辑中的应用

吴洪博; 王伦磊

doi:10.3969/j.issn.0372-2112.2016.08.020

您当前的位置：

首页 >

文章列表页 >

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

学术论文 | 更新时间：2025-07-08

- 函数算术均值极限的黎曼积分形式及其在R₀命题逻辑中的应用
- Riemann Integral form of Limit of Arithmetic Mean Value of a Function and Its Application in R₀ Propositional Logic System
- 电子学报 2016年44卷第8期页码：1909-1914
- 作者机构：
  
  陕西师范大学数学与信息科学学院,陕西,西安,710119
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.61572016，No.11531009）;中央高校基本科研业务专项资金 (No.GK201501001）
- DOI：10.3969/j.issn.0372-2112.2016.08.020
  中图分类号： O141.1
- 网络出版：2016-08-25，
  
  纸质出版：2016
- 稿件说明：
移动端阅览
吴洪博, 王伦磊. 函数算术均值极限的黎曼积分形式及其在R₀命题逻辑中的应用[J]. 电子学报, 2016,44(8):1909-1914.

Riemann Integral form of Limit of Arithmetic Mean Value of a Function and Its Application in R₀ Propositional Logic System[J]. Acta Electronica Sinica, 2016, 44(8): 1909-1914.
吴洪博, 王伦磊. 函数算术均值极限的黎曼积分形式及其在R₀命题逻辑中的应用[J]. 电子学报, 2016,44(8):1909-1914. DOI： 10.3969/j.issn.0372-2112.2016.08.020.

Riemann Integral form of Limit of Arithmetic Mean Value of a Function and Its Application in R₀ Propositional Logic System[J]. Acta Electronica Sinica, 2016, 44(8): 1909-1914. DOI： 10.3969/j.issn.0372-2112.2016.08.020.

摘要

提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式，还证明了

值R

命题逻辑中当

趋于无穷大时公式的广义真度极限的存在定理；并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式和n值R

命题逻辑中当

趋于无穷大时公式的广义真度极限的存在定理，在连续值R

命题逻辑中建立了相对于局部有限理论的公式的广义真度理论，为在R

命题逻辑中建立基于局部有限理论的近似推理，广义积分语义理论等奠定了基础.

Abstract

The Riemann integral form of limit of arithmetic mean value of a non-negative and Riemann integrable function with multiple variables in a bounded closed domain is proposed and proved.Secondly

the existence theorem of limit of generalized truth degree of a formula in

-valued R

propositional logic is obtained.Thirdly

the theory of generalized truth degrees is proposed in continuously valued R

propositional logic by combining of the Riemann integral form of limit of arithmetic mean value of a non-negative and Riemann integrable function with multiple variables in a bounded closed domain and the existence theorem of li

mit of generalized truth degree of a formula in

-valued R

propositional logic

which provides the foundation for establishing theories of approximate reasoning and generalized integral semantics based on locally finite theory in R

propositional logic.

关键词

Keywords

references

浏览量

516

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

计量逻辑中真度的均值表示形式及应用

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

Riemann Integral form of Limit of Arithmetic Mean Value of a Function and Its Application in R0 Propositional Logic System

DOI：10.3969/j.issn.0372-2112.2016.08.020

摘要

Abstract

关键词

Keywords

references

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

Riemann Integral form of Limit of Arithmetic Mean Value of a Function and Its Application in R₀ Propositional Logic System