constructive logic

Noun

 * 1)  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.

Translations

 * Finnish: konstruktiivinen logiikka
 * German: konstruktive Logik
 * Polish: logika intuicjonistyczna
 * Romanian: logică constructivă