first order logic
preferred label: منطق مرتبه اول @fa
type: Concept
related: cylindrical construction

logical connectives
preferred label: ادات منطقی @fa
type: Concept
related: cylindrical construction

logical object
preferred label: شی منطقی @fa
type: Concept
related: cylindrical construction

algebraic logic
preferred label: منطق جبری @fa
type: Concept
narrower: cylindrical construction

propositional logic
preferred label: منطق گزاره‌ها @fa
type: Concept
related: cylindrical construction

Boolean logic
preferred label: منطق بولی @fa
type: Concept
related: cylindrical construction

Lambda calculus
preferred label: حساب لاندا @fa
type: Concept
related: cylindrical construction

logical method
preferred label: روش منطقی @fa
type: Concept
related: cylindrical construction

cylindrical construction
related: first order logic
related: logical connectives
related: logical method
related: logical object
related: propositional logic
related: Boolean logic
related: Lambda calculus
preferred label: ساختمان استوانه‌ای @fa
broader: algebraic logic
type: Concept