جستجوي پيشرفته | کتابخانه مجازی الفبا

منطق چند ارزشی , اجزای منطق چند ارزشی , منطق کوانتومی , منطق های چند ارزشی , نگاه داری در منطق , منطق های فراسازگار , منطق آزاد , منطق های نایکنواخت Nonmonotonic logic

منطق ریاضی , منطق جدید , منطق های چند ارزشی , منطق کلاسیک

منطق چند ارزشی , معناشناسی (منطق) , منطق جدید , منطق های چند ارزشی , منطق کلاسیک , منطق غیر کلاسیک (منطق های توسعه یافته) , منطق استلزامی درجه اول , منطق 4-ارزشی بلناپ , منطق دقیقا درست