نظریه مجموعه‌ها
preferred label: set theory @en
type: Concept
related: منطق عمومی

نظریه برهان
preferred label: proof theory @en
type: Concept
related: منطق عمومی

مرتبه منطق
preferred label: order of logic @en
type: Concept
broader: منطق عمومی

ساختارهای مرتبه‌اول
preferred label: first order structures @en
type: Concept
related: منطق عمومی

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

منطق عمومی
narrower: منطق شهودگرایانه
narrower: منطق چندمقدار
narrower: زبان
narrower: مرتبه منطق
narrower: منطق استقرایی
narrower: منطق نمادی
narrower: نظریه انواع
narrower: منطق صوری
narrower: سازگاری
narrower: مسئله تصمیم
narrower: معنا شناسی
related: فلسفه ریاضیات
related: تعریف
related: محاسبه‌پذیری
related: منطق جبری
related: نظریه مجموعه‌ها
related: ساختارهای مرتبه‌اول
related: شرط لازم و کافی
related: نظریه برهان
related: منطق رسته‌ای
preferred label: general logic @en
broader: منطق ریاضی
type: Concept

منطق چندمقدار
preferred label: many-valued logic @en
type: Concept
broader: منطق عمومی

زبان
preferred label: language @en
type: Concept
broader: منطق عمومی

منطق استقرایی
preferred label: inductive logic @en
type: Concept
broader: منطق عمومی

منطق نمادی
preferred label: symbolic logic @en
type: Concept
broader: منطق عمومی

نظریه انواع
preferred label: type theory @en
type: Concept
broader: منطق عمومی

منطق صوری
preferred label: formal logic @en
type: Concept
broader: منطق عمومی

سازگاری
preferred label: consistency @en
type: Concept
broader: منطق عمومی

مسئله تصمیم
preferred label: decision problem @en
type: Concept
broader: منطق عمومی

معنا شناسی
preferred label: semantic @en
type: Concept
broader: منطق عمومی

فلسفه ریاضیات
preferred label: philosophy of mathematics @en
type: Concept
related: منطق عمومی

تعریف
preferred label: definition @en
type: Concept
related: منطق عمومی

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

منطق جبری
preferred label: algebraic logic @en
type: Concept
related: منطق عمومی

شرط لازم و کافی
preferred label: necessary and sufficient condition @en
type: Concept
related: منطق عمومی

منطق رسته‌ای
preferred label: categorical logic @en
type: Concept
related: منطق عمومی

منطق ریاضی
preferred label: mathematical logic @en
type: Concept
narrower: منطق عمومی