Intuitionistic Logic

is a system of symbolic logic that differs from classical logic by replacing the traditional concept of truth with the concept of constructive provability.