گویایی آزاد کاسته

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


تاربرگ‌های پیموده‌شده در این نشست: Modal Axiom Trivail میانبودگی Modal Axiom B دامنه‌ی تهی تکواره