共查询到10条相似文献，搜索用时 234 毫秒
1.
2.
3.
4.
本文重新定义了有序子句的有序因子，证明了在这种有序因子定义下的提升引理，进而在理论上得到了多重取因子的线性序归结方法的完备性。 相似文献
5.
指出了Ｃｉａｌｄｅａ一介模态逻辑归结系统是不完备的，为了确保推理系统的完备性，给出了Ｃｉａｌｄｅａ系统的两种修正方法。 相似文献
6.
广义RUE—NRF归结 总被引：1，自引：1，他引：1
刘叙华 《吉林大学自然科学学报》1993,(1):37-40
本文将RUE－NRF归结使用在广义子句集上，提出了广义RUE－NRF归结方法，并证明了这一方法对于一阶逻辑的完备性，将I型，2型删除策略引入广义RUE－NRF归结。 相似文献
7.
8.
研究了命题模态逻辑，Ｋ，Ｋ４，Ｄ，Ｄ４，Ｔ，Ｓ４的“＝”型模态逻辑结果Ｓ＝Ｕ→Ｖ的自动推理。提出了证明“＝”型模态逻辑结果的归结推理方法－强模态归结。证明了强模态归结的可靠性与完备性。 相似文献
9.
10.