Definition:Intuitionistic Logic