Knowledge implication intuitionism logic

On the basis of knowledge implication logic, knowledge implication intuitionism logic (ID) is built with strong knowledge implication. The formal semantics concerning knowledge implication logic and intuitionism logic prove the soundness and completeness of ID. In ID, the law of contradiction is valid, but the law of excluded middle and the law of elimination of double negation and Scotus law are not. Both paraconsistent logic and intuitionism logic remain unchanged in their fundamental characteristics in ID. The new system provides a strategy compatible with paraconsistent logic and intuitionism logic for problems about contradictions.