تاربرگ‌های پیموده‌شده در این نشست: Anaximenes ⟩ the doctrine of predicative judgment ⟩ affixing relevant logics ⟩ Introduction of an assumption ⟩ affixing relevant logics