constructive logic

English

Noun

constructive logic (countable and uncountable, plural constructive logics)

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

• coherent logic
• equational logic
• intuitionistic logic

Translations

Translations

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

References

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