propositional Kripke model
مدل کریپکی گزاره‌ای
cylindrical construction
ساختمان استوانه‌ای
منطق گزاره‌ای شهودی
intuitionistic propositional logic
propositional logic
منطق گزاره‌ها
symbolic logic
منطق نمادی