منطق ابرشهودگرایی

Also known as superintuitionistic logic

propositional logic extending intuitionistic logic