تاریخچه و فرگشت

گویایی‌های زیرساختاری
(1990)
برابر انگلیک (انگلیسی): Substructural Logics

1. دستورهای ساختاریconstituent✹
نمونه‌ها/پیاده‌سازی‌ها گویایی‌های پیوند گویایی ختی

تاربرگ‌های پیموده‌شده در این نشست: آزندی بر افماریک گزاره‌ای درون‌یافت‌گروی ⟩ Semantical Considerations on Modal Logic ⟩ گویایی‌های سویی میان S4 و S5 ⟩ بوندگی افماریک کارکردی رایه‌ی یکم ⟩ نبیگ فشرده در افماریک جبر و تراز کردن ⟩ بوندگی افماریک کارکردی رایه‌ی یکم