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