Is there any literature which details what attempts have been made towards formalization of the notion of "partial entailment"? The available literature seems to know of only one definition: if p then q, then q partially entails p. Can we do better than this? Sudeep Regmi -- http://www.metu.edu.tr/~e146017