منطق وجهی نرمال دوموضعی
محل انتشار: دوفصلنامه منطق پژوهی، دوره: 14، شماره: 1
سال انتشار: 1402
نوع سند: مقاله ژورنالی
زبان: فارسی
مشاهده: 79
فایل این مقاله در 16 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
JR_LOGIC-14-1_004
تاریخ نمایه سازی: 13 آبان 1402
چکیده مقاله:
در این مقاله، ابتدا معناشناسی کریپکی برای منطق وجهی نرمال با یک عملگر دو موضعی را تعریف کرده و سیستمی به نام K^۲ را که نسبت به این معناشناسی درست و تمام است را معرفی خواهیم کرد. سپس دو نوع ترجمه ارائه خواهیم کرد و با استفاده از این ترجمه ها نشان خواهیم داد که منطق وجهی نرمال دو موضعی (K^۲) و منطق وجهی نرمال استاندارد (K) بسیار به هم مرتبط هستند. یک ترجمه را تعبیر-پایدار می نامیم، در صورتی که اثبات پذیری در هر دو جهت حفظ شود. طبق این تعریف، ثابت خواهیم کرد که هر دو ترجمه ی معرفی شده، تعبیر-پایدار از K به K^۲ و بالعکس هستند. یک توسیع از منطق K، یک مجموعه از فرمول ها است که شامل K است و تحت قواعد آن و جانشینی یکنواخت بسته است. توسیعی از منطق K^۲ را نیز به همین صورت تعریف خواهیم کرد. در نهایت ثابت خواهیم کرد که یک تناظر یک-به-یک بین توسیع هایی از منطق K و منطق K^۲ وجود دارد.
کلیدواژه ها:
منطق وجهی نرمال ، منطق وجهی نرمال دوموضعی ، معناشناسی کریپکی ، معناشناسی کریپکی دوموضعی ، تمامیت ، تعبیر پایدار
نویسندگان
فاطمه شیرمحمدزاده ملکی
موسسه پژوهشی حکمت و فلسفه ایران