Constructive Logic

a logic developed in conformity with the principles of the constructive school, distinguished by constructiveness (possibility of effective construction) of objects whose existence is affirmed in statements (propositions).