intuitionistic second order logic
preferred label: منطق شهودی مرتبه دوم @fa
type: Concept
broader: intuitionistic higher order logic

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

higher order logic
preferred label: منطق مرتبه بالاتر @fa
type: Concept
related: intuitionistic higher order logic

intuitionistic logic
preferred label: منطق شهودگرایانه @fa
type: Concept
narrower: intuitionistic higher order logic