constructive logic

Noun

Meaning

constructive logic (countable and uncountable, plural constructive logics)

(logic) Any kind of logic in which any proof of existence can be converted into an algorithm that constructs the mathematical object which it claims to exist.

Source: en.wiktionary.org

Synonyms

linear programming propositional logic epistemic logic deontic logic

Close letter words and terms

constructive force constructive fraud constructive interactive constructive malice constructive manslaughter constructive material