فهرست نشریات علمی دسترسی آزاد ایران

منطق زیر شهودی F که نسبت به معناشناسی کریپکی (بدون نیاز به وجود شرط خاصی روی رابطه‌ی دسترس‌پذیری مدل‌های کریپکی) درست و تمام است، اولین بار توسط جیووانا کرسی مطالعه شد. دستگاه اثباتی ارائه شده برای این منطق، دستگاه اثباتی هیلبرتی است. دستگاه WF، به عنوان یک منطق زیرشهودی دیگری که ضعیف‌تر از دستگاه F است، نخستین بار توسط دیک د یانگ و فاطمه شیرمحمدزاده ملکی معرفی شده است. منطق زیرشهودی WF نسبت به مدل‌های همسایگی جدیدی که تا حدی پیچیده‌تر از مدل‌های همسایگی شناخته شده برای منطق‌های وجهی کلاسیک (غیر-نرمال) است، درست و تمام است. تنها دستگاه اثباتی معرفی شده برای این منطق زیر‌شهودی ضعیف‌تر، دستگاه اثباتی هیلبرتی است. از آنجا که تا کنون هیچ دستگاه استنتاج طبیعی برای هیچکدام از این دو منطق زیرشهودی پایه ارائه نشده است، در این مقاله تلاش خواهم کرد تا برای هر یک از دو منطق زیرشهودی WF و F یک دستگاه استنتاج طبیعی مناسب (درست و تمام) معرفی کنم.