constructive logic

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Noun[edit]

constructive logic ‎(plural constructive logics)

  1. (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.

Hyponyms[edit]

References[edit]