The reference [4] proved the consistency of S1 and S2 among Lewis' five strict implication systems in the modal logic by using the method of the Boolean-val
A class of singularly perturbed problems for the nonlinear elliptic equations is considered. Under suitable conditions, using the theory of differential inequal