گویایی آزاد افزوده

همچنین شناخته شده با: منطق آزاد مثبت
برابر انگلیک (انگلیسی): Positive Free Logic


تاربرگ‌های پیموده‌شده در این نشست: Modal Theorem K.2 برنامه‌ی هیلبرت اندرهازش یک انگاشته بَوَندَگی سامانه سویی چندی‌گذارده گویایی‌های فروآموزگاهی