# constructive logic

## Contents

## English[edit]

### Noun[edit]

**constructive 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[edit]

#### References[edit]

- Coquand, Thierry (2008).
*Constructive Logic*, esp. page 24.