پیش‌نیازها گویایی آموزگاهی

گویایی‌های ناآموزگاهی
همچنین شناخته شده با: منطق‌های ناکلاسیک
برابر انگلیک (انگلیسی): Non-classical logics

شاخه‌ها
گویایی درون‌یافت‌گروی
(منطق شهودی , منطق شهودگرایی)
Intuitionistic logic
گویایی‌های آزاد
(منطق آزاد)
Free Logics
گویایی‌های پیوند
(منطق‌های ربط)
Relevance logics

تاربرگ‌های پیموده‌شده در این نشست: شماریک پئانو ⟩ واخته ⟩ آوین-نگریک ⟩ دستور پذیرفتنی ⟩ A⥽(B⥽B) ⟩ بنداشت جداسازی