Intuitionist logic, a logic of justification