constructive logic

English

Noun

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.

Hyponyms

coherent logic
equational logic
intuitionistic logic

References

Coquand, Thierry (2008). Constructive Logic, esp. page 24.

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.