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.princeton.edu/~hhalvors/restricted/kripke_intuitionism.pdf

https://www.andrew.cmu.edu/user/avigad/Teaching/classical.pdf

https://www.cs.cmu.edu/~fp/courses/15317-f00/handouts/logic.pdf

https://www.cs.mcgill.ca/~bpientka/courses/atp/handouts/logic.pdf

rakendusi
https://core.ac.uk/download/pdf/82494593.pdf

https://marcobenini.files.wordpress.com/2014/08/munich2006-libre.pdf

https://kurser.math.su.se/pluginfile.php/37303/mod_resource/content/1/cltt-construmath%20kopia.pdf


vt ka
- matemaatiline loogika