Mohammad Ardeshir

Sharif University of Technology

We re-evaluate the standard proof interpretation Brouwer-Heyting-Kolmogorov (BHK). That leads to the new constructive Basic Logic, properly contained in Intuitionistic Logic.