Fix examples/logic/propositional_logic for tight equality
Add IntuitionisticProof to logic examples.