分裂对相关论文
麦金森定理在模态逻辑中扮演了举足轻重的作用.利用把Abs和Triv中的模态公式变为无模态公式的语法运算a与t我们可以给出麦金森定理......
对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。极小不可满足公式通过分裂得到的公式保持了极小不可满足性,......
