olemus
loogika, milles disjunktsioon ülaraja operatsioonina ja konjunktsioon alaraja operatsioonina moodustavad Heytingi algebra
= any kind of logic in which any proof of existence can be converted into an algorithm

omadusi
konstruktiivloogikas ei kehti välistatud kolmanda seadus ega topelteituse seadus

ülevaateid
https://en.wikipedia.org/wiki/Intuitionistic_logic
https://www2.mathematik.tu-darmstadt.de/~streicher/CLM/clm.pdf
https://arxiv.org/pdf/1008.1213.pdf
https://plato.stanford.edu/entries/logic-intuitionistic/
https://www.cs.le.ac.uk/people/nb118/Publications/ESSLLI'05.pdf
https://www.andrew.cmu.edu/user/avigad/Teaching/classical.pdf
https://www.cs.cmu.edu/~fp/courses/15317-f00/handouts/logic.pdf

rakendusi
https://core.ac.uk/download/pdf/82494593.pdf
https://marcobenini.files.wordpress.com/2014/08/munich2006-libre.pdf

vt ka
- matemaatiline loogika