排序方式: 共有11条查询结果,搜索用时 171 毫秒
1.
指出文献[1]关于Co半群可微性的定理2.4.11的证明过程中一处错误,及关于柯西问题解的指数衰变的定理4.4.1的证明过程中的不妥之处,并给出新的证明。 相似文献
2.
在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系. 相似文献
3.
提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。 相似文献
4.
给出关于LF相对乘积空间中投影序同态的一个性质定理,从而推广了投影序同态的两个工具定理. 相似文献
5.
本文讨论Gainse-Rescher逻辑系统中序稠密子代数的广义矛盾式,并利用可达广义矛盾式概念在Gr的序稠密子代数中给出公式集F(S)的一个分划。 相似文献
6.
借助逻辑公式所诱导出的函数,在系统π3中给出了公式关于有限理论的Γ-绝对真度、Γ-绝对相似度和Γ-伪距离的定义,并探讨了Γ-绝对真度的MP规则、HS规则及相关性质。从而丰富了乘积逻辑系统中真度的研究成果。 相似文献
7.
在文献的基础上进一步地研究几种矩阵的特征值问题。再次给出了2种n阶矩阵的高次幂的求解。最后给出了矩阵的特征值与特征向量的反问题的求解方法,并应用于实例。 相似文献
8.
9.
本文利用修正的G(o)del蕴涵算子研究了命题公式集FS中公式确定集的特征,进而以确定集为工具得到FS的一个十八类分划,并证明了这种分划关于非运算是同余的.最后讨论了各类关于MP运算和HS运算的封闭性. 相似文献
10.
给出了不同值格的一族LF拓扑空间的相对乘积空间之间的投影序同态是开序同态的一个充要条件,从而使结果具有更广的范围。 相似文献