propositional


تاربرگ‌های پیموده‌شده در این نشست: Principle of Explosion ⟩ paradoxes of strict implication ⟩ Proof theory ⟩ paradoxes of material implication ⟩ Non-classical logics