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

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

منطق محمولات
preferred label: predicate logic @en
type: Concept
related: منطق محمولی شهودی