|
|
Definition of Constructive logic
1. Noun. Intuitionistic logic, with an emphasis on the fact that a proof of existence using such logic can be converted into an algorithm which constructs the mathematical object which is claimed to exist. ¹
¹ Source: wiktionary.com
Lexicographical Neighbors of Constructive Logic
Other Resources:
