Project supported by the National Natural Science Foundation of China and in part by University of Valenciennes under the cooperation agreement with Chongqing University
As a semantics for negation, the completed datsbase appears to be a little too strong.It makes no sense when it is ineonsistent. However, as has been shown by Shepherdson, the general problem of determining whether th...