An intermediate logic derived from propositional logic by incorporating all instances of the weak excluded middle axiom. It is also…