پیش‌نیازها Classical Propositional Logic
رده‌ها Substructural Logics
History and evolution

Relevance logics


نمونه‌ها/پیاده‌سازی‌ها Logic R Logic E Logic B implication fragment of R

تاربرگ‌های پیموده‌شده در این نشست: Axiom KP Critical Thinking Saul Kripke Avicenna