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


تاربرگ‌های پیموده‌شده در این نشست: سامانه S3 ⟩ Modal System S4 ⟩ Modal System S5 ⟩ هستیال‌گروی ⟩ گویایی رایه‌ی یکم ⟩ کامندگی