Riemann Integral form of Limit of Arithmetic Mean Value of a Function and Its Application in R0 Propositional Logic System[J]. Acta Electronica Sinica, 2016, 44(8): 1909-1914.
DOI:
Riemann Integral form of Limit of Arithmetic Mean Value of a Function and Its Application in R0 Propositional Logic System[J]. Acta Electronica Sinica, 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 R0 Propositional Logic System
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 R
0
propositional logic is obtained.Thirdly
the theory of generalized truth degrees is proposed in continuously valued R
0
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
n
-valued R
0
propositional logic
which provides the foundation for establishing theories of approximate reasoning and generalized integral semantics based on locally finite theory in R