| 摘要: |
| 本文通过应用限制到一个弗协调逻辑给出一种弗协调限制，弗协调限制是一种弗协调非单调逻辑，它能被极小化语义所刻划，并具有两方面优点：非单调逻辑在包含矛盾时是不平凡的；弗协调逻辑在矛盾没有影响时等价于经典逻辑． |
| 关键词: 弗协调逻辑，非单调逻辑，限制，极小模型 |
| DOI： |
| 分类号: |
| 基金项目:本文是国家863计划,国家基础研究攀登计划,国家自然科学基金资助项目. |
|
| CIRCUMSCRIPTION IN A PARACONSISTENT LOGIC |
|
Lin Zuoquan
|
| Abstract: |
| This paper describes the paraconsistent circumscription by application of circumscription in a paraconsistent logic.It turns out that the paraconsistent circumscription can be characterized by the minimal semantics which is nonmonotonic and paraconsistent.It brings them advantages in two respects:nonmonotonic logic would be nontrivial while there was a contradiction,and paraconsistent logic would be equivalent to classical logic while there was no effect of a contradiction. |
| Key words: Paraconsistent logic,nonmonotonic logic,circumscription,minimal model. |
