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

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