constructive logic (English, noun)
expansion: constructive logic (countable and uncountable, plural constructive logics)
Senses:
topics: human-sciences
logic
mathematics
philosophy
sciences
glosses: 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.
tags: countable
uncountable
Forms:
form: constructive logics
tags: plural