可拓逻辑的可满足性问题研究

作者：陈智斌 贾西平 肖政宏可拓逻辑可满足性矛盾问题

摘要：可满足性是逻辑语义理论的基本概念．在分析基元命题内部的逻辑形式的基础上，研究了可拓逻辑的语法及语义理论，给出了可拓逻辑中的可满足性定义．讨论了矛盾问题的可拓逻辑表示，并给出了基于可满足性概念的矛盾问题定义和表示实例．

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社