电子学报2016，Vol.44Issue(8)：1909-1914,6.DOI:10.3969/j.issn.0372-2112.2016.08.020
函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用
Riemann IntegraI form of Limit of Arithmetic Mean VaIue of a Function and Its AppIication in R0 PropositionaI Logic System
摘要
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 n-valued R0 propositional logic is obtained.Thirdly,the theory of generalized truth degrees is proposed in continuously valued R0 propositional logic by combining of the Riemann integral form of limit of a-rithmetic mean value of a non-negative and Riemann integrable function with multiple variables in a bounded closed domain and the existence theorem of limit of generalized truth degree of a formula in n-valued R0 propositional logic,which provides the foundation for establishing theories of approximate reasoning and generalized integral semantics based on locally finite theory in R0 propositional logic.关键词
计量逻辑/黎曼积分/R0命题逻辑/局部有限理论/广义真度Key words
quantitative logic/Riemann integral/R0 propositional logic/locally finite theory/generalized truth degree分类
数理科学引用本文复制引用
吴洪博,王伦磊..函数算术均值极限的黎曼积分形式及其在R0命题逻辑中的应用[J].电子学报,2016,44(8):1909-1914,6.基金项目
国家自然科学基金（No．61572016，No．11531009）；中央高校基本科研业务专项资金 （）
