Constructive Logic
Constructive logic emphasizes explicit proofs of existence, demanding a concrete construction rather…
Brouwerian Modal Logic
A modal logic inspired by L.E.J. Brouwer's intuitionism. It grounds possibility in…
Brouwer-Heyting-Kolmogorov Interpretation
The Brouwer-Heyting-Kolmogorov (BHK) interpretation equates statement truth with proof existence, forming the…