[naasking]

Intuitionism should be familiar: it's effectively the logic underlying most programming. It's basically what allowed theorem provers like Coq to extract a runnable OCaml program from a logic proof.