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

order of logic
preferred label: مرتبه منطق @fa
type: Concept
narrower: higher order logic

logical connectives
preferred label: ادات منطقی @fa
type: Concept
related: higher order logic

higher order arithmetic
preferred label: حساب مرتبه بالاتر @fa
type: Concept
related: higher order logic

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

type theory
preferred label: نظریه انواع @fa
type: Concept
related: higher order logic

higher order logic
type: Concept
related: logical connectives
related: type theory
related: intuitionistic higher order logic
related: higher order arithmetic
broader: order of logic
narrower: second order logic
preferred label: منطق مرتبه بالاتر @fa