constructive logic definition

  • noun:
    • Intuitionistic reasoning, with an emphasis in the fact that a proof of presence using these types of logic may be converted into an algorithm which constructs the mathematical object which can be claimed to occur.
29 votes

How would you define constructive logic?

All the definitions on AZdictionary were written by people just like you. Now's your chance to add your own!