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

Relevance logics


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

تاربرگ‌های پیموده‌شده در این نشست: Provability logic Positive Free Logic