基于公式真度的公式集约简

基于经典命题逻辑的真度理论,讨论了经典命题逻辑系统当中公式集的约简问题。提出了真度约简及α-真度约简的概念,为公式集的约简提供了一种可行的操作方法。

关于AX=b的反问题

本文首先讨论了线性方程组 AX=b 的反问题的解的结构,并给出了在几种情形下 AX=b 的反问题的具体求法。最后证明了 AX=b 的反问题在实对称正定、半正定(负定、半负定)矩阵类无解的情形下,在实对称正定、半正定(负定、半负定)矩阵类中广义解的存在性,并给出了其求法。

代数结构的泛性并

本文从范畴论的观点出发，首次引入了代数结构的泛性并，弱泛性并的概念，讨论了它们的存在性及关系，为研究代数结构的并问题开辟了一种新途径。