فاطمه شیرمحمدزاده ملکی
چکیده
هدف اصلی ما در این مقاله پیدا کردن همتاهای وجهی برای برخی منطق‌های زیرشهودی معرفی شده توسط دیانگ و شیرمحمدزاده است. آنها برای اثبات تمامیت منطق‌های زیرشهودی معرفی شده، دو نوع قاب همسایگی، به نام‌هایقاب N-همسایگی و قاب NB-همسایگی را معرفی کرده‌اند. ساختار قابهای N-همسایگی شبیه قابهای همسایگی شناخته شده برای ...
بیشتر
هدف اصلی ما در این مقاله پیدا کردن همتاهای وجهی برای برخی منطق‌های زیرشهودی معرفی شده توسط دیانگ و شیرمحمدزاده است. آنها برای اثبات تمامیت منطق‌های زیرشهودی معرفی شده، دو نوع قاب همسایگی، به نام‌هایقاب N-همسایگی و قاب NB-همسایگی را معرفی کرده‌اند. ساختار قابهای N-همسایگی شبیه قابهای همسایگی شناخته شده برای منطق‌های وجهی غیر-نرمال است و ساختار قابهای NB-iمسایگی متفاوت و پیچیده‌تر از قاب های همسایگی استاندارد شناخته شده‌ی منطق‌های وجهی غیر-نرمال است. لذا به منظور پیدا کردن همتای وجهی برای این منطق‌های زیر شهودی ما دو نوع ترجمه، یکی از زبان منطق گزاره‌ای شهودی به زبان منطق وجهی غیر-نرمال و دیگری از زبان منطق گزاره‌ای شهودی به زبان منطق وجهی دوموضعی را در نظر گرفته و به مقایسه اثبات پذیری یک فرمول و ترجمه‌ی آن خواهیم پرداخت. در نهایت و با استفاده از این دو نوع ترجمه، برای آن‌دسته از منطق‌های زیرشهودی که نسبت به کلاس خاصی از قابهای N-همسایگی درست و تمام هستند، همتاهای وجهی متناظر را پیدا کرده و برای آن‌دسته از منطق‌های زیرشهودی که نسبت به کلاس خاصی از قابهای NB-همسایگی درست و تمام هستند، همتاهای وجهی دوموضعی متناظر را بدست آوردیم.
