定性演算的扩充

在已有定性演算的类的划分上进行了扩充并定义了新的定性演算,而且进一步讨论了定性运算的性质.     

极小项与极大项的运算性质

研究了极小项、极大项的运算性质，给出了一组运算公式，利用这些运算公式可以使求命题公式的主范式运算更简洁。     

主范式的运算性质

文[6]研究了极大项、极小项的运算性质,本文研究公式的主范式的运算,给出求A,A ∨ B,A ∧ B,A→B,AB的主范式的公式,由此可用程序化的方法求任意公式的主范式。     

LF集的表现定理及其应用

在L是完全分配格时,借助极小集与极大集的概念引入L集合套概念,它们是[1]中集合套概念的推广,但不同于[1]中的L集合套.从而得到了一般LF集的若干新的分解定理与表现定理,作为应用给出了诱导空间中LF集的闭包、内部及导集的表现.