ارزش
truth
modus ponens
قیاس استثنایی
intuitionistic type theory
نظریه انواع شهودی
intuitionistic higher order logic
منطق شهودی مرتبه بالاتر
constructive mathematics
ریاضیات ساختی
منطق شهودی
intuitionistic logic
منطق شهودگرایانه
منطق شهودگرایانه , منطق ریاضیات ساختی است. مفهوم محوری ریاضیات ساختی برهان است و نه راستی . اصل طرد شق ثالث در منطق شهودگرایانه معتبر نیست.
intuitionistic mathematics
ریاضیات شهودی
تابع ارزش
truth funtion
منطق گزاره‌ای شهودی
intuitionistic propositional logic
نظریه مدل
model theory
structure of proof
ساختار برهان
منطق عمومی
general logic
محاسبه‌پذیری
computability
منطق محمولی شهودی
intuitionistic predicate logic
شهودگرایی
intuitionism
شهود
intuition