There have been a number of very credible attempts to devise paraconsistent logics to deal with the problems caused by the unavoidability of contradictions in knowledge bases and elsewhere. This paper suggests a set of principles for generating logical operator semantics which are broadly drawn from classical logic. These lead directly to a paraconsistent logic, LM4, which significantly outperforms other systems and solves the problem for all practical purposes without giving rise to the difficulties inherent in other attempted solutions.
|Title of host publication||Proceedings of the European Computing Conference. Vol. 2|
|Editors||N. Mastorakis, V. Mladenov, V. Kontargyri|
|Place of Publication||Boston, Mass.|
|Number of pages||14|
|Publication status||Published - 2009|
|Name||Lecture Notes in Electrical Engineering|