| Tableau Systems for Paraconsistency and Minimal Inconsistency |
| |
| 引用本文： | Lin Zuoquan. Tableau Systems for Paraconsistency and Minimal Inconsistency[J]. 计算机科学技术学报, 1998, 13(2): 174-188. DOI: 10.1007/BF02946605 |
| |
| 作者姓名： | Lin Zuoquan |
| |
| 作者单位： | DepartmentofInformatics,PekingUniversity,Beijing100871,,P,R.China |
| |
| 摘 要： | In this paper,the semantics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first.And then signed tableaux for paraconsistent logic and minimal tableaux for logic of minimal inconsistency is proposed.Finally,the reduction of logic of paraconsistency and minimal inconsistncy on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided.
|
| 关 键 词： | 自动化推理 逻辑学 最小不相容 |
Tableau systems for paraconsistency and minimal inconsistency |
| |
| Zuoquan Lin. Tableau systems for paraconsistency and minimal inconsistency[J]. Journal of Computer Science and Technology, 1998, 13(2): 174-188. DOI: 10.1007/BF02946605 |
| |
| Authors: | Zuoquan Lin |
| |
| Affiliation: | (1) Department of Informatics, Peking University, 100871 Beijing, P.R. China |
| |
| Abstract: | In this paper, the sematics of a paraconsistent logic and its nonmonotonic extension by minimal inconsistency are presented first. And then signed tableaux for paraconsistelit logic and minimal tableaux for logic of minimal inconsistency is proposetl. Finally the reduction of logic of paraconsistency and minimal inconsistency on ordinary semantics which provides new approach to proof procedure and implementation of paraconsistency and minimal inconsistency are provided. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载免费的PDF全文 |
