Intermediate logic

Intermediate logic refers to a class of logical systems that occupy a middle ground between classical logic and intuitionistic logic. In classical logic, the Law of Excluded Middle (LEM) holds, which states that for any proposition, either that proposition or its negation must be true. Intuitionistic logic, on the other hand, does not accept the Law of Excluded Middle as a general principle, emphasizing constructive proofs where the existence of a mathematical object must be demonstrated explicitly.