constructive logic

Meaning

1. noun 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.

Similar words

constructivism logic propositional logic linear logic positive logic mathematical logic formal logic logicism conservative extension natural deduction