constructive logic en · NOUN
Meanings
- (countable, uncountable) 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.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| constructive logics | Number=Plur | lexicographic |
Hyponyms
intuitionistic logic · equational logic · coherent logic
Translations (4)
ro logică constructivă (Translations) · pl logika konstruktywna (Translations) · de konstruktive Logik (Translations) · fi konstruktiivinen logiikka (Translations)