ارزش
preferred label: truth @en
type: Concept
related: منطق شهودگرایانه

قیاس استثنایی
preferred label: modus ponens @en
type: Concept
related: منطق شهودگرایانه

نظریه انواع شهودی
preferred label: intuitionistic type theory @en
type: Concept
related: منطق شهودگرایانه

منطق شهودی مرتبه بالاتر
preferred label: intuitionistic higher order logic @en
type: Concept
broader: منطق شهودگرایانه

ریاضیات ساختی
preferred label: constructive mathematics @en
type: Concept
related: منطق شهودگرایانه

منطق شهودگرایانه
type: Concept
alternative label: منطق شهودی
related: قیاس استثنایی
related: ارزش
related: شهود
related: ریاضیات ساختی
related: محاسبه‌پذیری
related: ساختار برهان
related: تابع ارزش
related: شهودگرایی
related: نظریه انواع شهودی
related: نظریه مدل
related: ریاضیات شهودی
preferred label: intuitionistic logic @en
narrower: منطق محمولی شهودی
narrower: منطق شهودی مرتبه بالاتر
narrower: منطق گزاره‌ای شهودی
scope note: منطق شهودگرایانه , منطق ریاضیات ساختی است. مفهوم محوری ریاضیات ساختی برهان است و نه راستی . اصل طرد شق ثالث در منطق شهودگرایانه معتبر نیست.
broader: منطق عمومی

ریاضیات شهودی
preferred label: intuitionistic mathematics @en
type: Concept
related: منطق شهودگرایانه

تابع ارزش
preferred label: truth funtion @en
type: Concept
related: منطق شهودگرایانه

منطق گزاره‌ای شهودی
preferred label: intuitionistic propositional logic @en
type: Concept
broader: منطق شهودگرایانه

نظریه مدل
preferred label: model theory @en
type: Concept
related: منطق شهودگرایانه

ساختار برهان
preferred label: structure of proof @en
type: Concept
related: منطق شهودگرایانه

منطق عمومی
preferred label: general logic @en
type: Concept
narrower: منطق شهودگرایانه

محاسبه‌پذیری
preferred label: computability @en
type: Concept
related: منطق شهودگرایانه

منطق محمولی شهودی
preferred label: intuitionistic predicate logic @en
type: Concept
broader: منطق شهودگرایانه

شهودگرایی
preferred label: intuitionism @en
type: Concept
related: منطق شهودگرایانه

شهود
preferred label: intuition @en
type: Concept
related: منطق شهودگرایانه