Definition of "constructive logic" [constructive logic]

• 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. (noun)

Wiktionary.org : Text is available under the Creative Commons Attribution-ShareAlike License