Many-Valued Logics and Systems of Strict Implication