A parameterized implication function derived from the relations to be satisfied between a premise and the conclusion | IEEE Conference Publication | IEEE Xplore