作者:吴洪博; 王伦磊计量逻辑黎曼积分r0命题逻辑局部有限理论广义真度
摘要:提出并证明了在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式,还证明了n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理;并根据在有界闭域上非负且黎曼可积的多元函数的算数平均值极限的黎曼积分形式和n值R0命题逻辑中当n趋于无穷大时公式的广义真度极限的存在定理,在连续值R0命题逻辑中建立了相对于局部有限理论的公式的广义真度理论,为在R0命题逻辑中建立基于局部有限理论的近似推理,广义积分语义理论等奠定了基础.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社