انجمنیگی
همچنین شناخته شده با: شرکت‌پذیری
برابر انگلیک (انگلیسی): Axiom KP
دیسه‌ای
(¬𝜙 → 𝜓 ∨ 𝜘) → (¬𝜙 → 𝜓) ∨ (¬𝜙 → 𝜘)
(¬𝜙 → 𝜓 ∨ 𝜘) → (¬𝜙 → 𝜓) ∨ (¬𝜙 → 𝜘)


تاربرگ‌های پیموده‌شده در این نشست: راستی گوییکی ⟩ تئوریا ⟩ همخلیدگی ⟩ نگره‌ی چمار ⟩ درباره‌ی نماردن ⟩ ماشین خودکار