constructive logic
English
editNoun
editconstructive 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
editTranslations
editTranslations
|
References
edit- Coquand, Thierry (2008). Constructive Logic, esp. page 24.