گویایی رسته‌ای
همچنین شناخته شده با: منطق حملی
برابر انگلیک (انگلیسی): Categorical Logic


تاربرگ‌های پیموده‌شده در این نشست: گویایی B ⟩ جبر شونی ⟩ درآمدی به گویایی ناکلاسیک ⟩ Alexius Meinong ⟩ گویایی‌های شونی میان S4 و S5 ⟩ پیشینی