Logic of probability entailment with threshold-surety | IEEE Conference Publication | IEEE Xplore