constructive logic

from Wiktionary, Creative Commons Attribution/Share-Alike License.

• noun Intuitionistic logic, with an emphasis on the fact that a proof of existence using such logic can be converted into an algorithm which constructs the mathematical object which is claimed to exist.