Constructive-logic Definition
noun
(logic) Any kind of logic in which any proof of existence can be converted into an algorithm which constructs the mathematical object which it claims to exist.
Wiktionary
Other Word Forms of Constructive-logic
Noun
Singular:
constructive-logic
Plural:
constructive logics
Find Similar Words
Find similar words to constructive-logic using the buttons below.