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


تاربرگ‌های پیموده‌شده در این نشست: گویایی آزاد کاسته ⟩ شماریک پئانو ⟩ گویایی R ⟩ آمرسان‌گروی ⟩ بی‌کنشی چندبارگی ⟩ Modal Axiom 5