Admissible rule


تاربرگ‌های پیموده‌شده در این نشست: the doctrine of predicative judgment ⟩ affixing relevant logics ⟩ A New Introduction to Modal Logic ⟩ Aristotle ⟩ Axiom KP