逻辑系统Luk中公式间的伪距离
在逻辑系统Lukasiewicz中,利用序结构知识和赋值函数的性质来研究公式间的伪距离,避开了n重积分的复杂计算,推出了积分真度与伪距离之间以及伪距离相互之间的若干等式与不等式,特别是得到了伪距离关于运算"⊕""(×)"的若干新性质,从而给出了在伪距离空间中运算"(→)""→""∧ ""∨""⊕""(×)"关于伪距离均连续这一重要定理的简洁证明.
逻辑系统Luk、真度、伪距离、赋值函数
24
O141(数理逻辑、数学基础)
江苏省高校自然科学荩础研究项目08KJD110008
2011-02-22(万方平台首次上网日期,不代表论文的发表时间)
共7页
19-25