Interactive Proofs.-Noninterference for Intuitionist Necessity -- Many-Valued Logics,