> Remember that consistency and entailment are closely related, > e.g., P is entailed by O if O & ~P is inconsistent. Only for classical logic, but not for many non-classical logics that may be more relevant to KR than classical logic. -Gerd ---------------------------------------------------------------------------- --- Gerd Wagner Brandenburg University of Technology http://oxygen.informatik.tu-cottbus.de/ITReceived on Thursday, 14 December 2006 20:32:35 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 8 January 2008 14:13:13 GMT