An improvement on the discrepancy in the implementation of modus ponens
scientific article; zbMATH DE number 1071952
scientific article