constructive logic
Jump to navigation
Jump to search
English[edit]
Noun[edit]
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[edit]
Translations[edit]
Translations
|
References[edit]
- Coquand, Thierry (2008). Constructive Logic, esp. page 24.