An Improvement on the Discrepancy in the Implementation of Modus Ponens

Abstract In this paper, we improve an aspect of the discrepancy in the implementation of modus ponens, the inference formula of which is defined by sup t-norm composition, and we show that the inference rule preserves the similarity.