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

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

IMTL-代数的零化算子和⊕理想及其相互关系

主要对IMTL-代数中的零化算子和⊕理想的性质及其相互关系进行了研究。首先,将零化算子的概念引入到IMTL-代数中,在IMTL-代数中分别讨论了单点零化算子,多点零化算子的性质;其次,将⊕理想的概念引入IMTL-代数中,并对⊕理想的基本性质进行了讨论;最后,给出了IMTL-代数上零化子和⊕理想之间的相互依赖的关系和相互决定的方法。

弱MTL-代数上的几种演绎系统及其商代数

首先,本文讨论了弱MTL-代数的性质,并给出弱MTL-代数的等价刻画;其次,将蕴涵演绎系统的概念引入到弱MTL-代数中,并研究了演绎系统与蕴涵演绎系统的关系,且给出蕴涵演绎系统的几个等价条件;最后,讨论了弱MTL-代数中的演绎系统和同余关系之间的相互决定的关系,并证明了在弱MTL-代数中一个蕴涵演绎系统是素的当且仅当由其诱导的商代数是全序的弱MTL-代数。