Skip to main content
فهرست مقالات

شیوه استنتاج طبیعی در سیستم های زمانی Kt و Kc

نویسنده:

ISC (18 صفحه - از 163 تا 180)

کلید واژه های ماشینی : شیوه استنتاج طبیعی در سیستم، سیستم، منطق زمان، مدل، سیستم‌های اصل موضوعی منطق زمان، زمان، سیستم استنتاج طبیعی منطق زمان، اتصال، صفت، استنتاج طبیعی در سیستم‌های زمانی

خلاصه ماشینی:

"نیز فرمولند -اگر???و???دو فرمول باشند(???)نیز فرمول است ج:تعاریف در سیستم K t عبارتست از: (به تصویر صفحه مراجعه شود) (1)- Syntax (2)- Semantic (3)- minimal tense logic (4)- formal language (5)- future tense operator (6)- Past tense operator (7)- it will be the case that (8)- it has been the case that (به تصویر صفحه مراجعه شود) G و H دو عملگر زمانی‌اند که به صورت زیر تعبیر می‌گردند 1همیشه این‌چنین خواهد بود که: G 2همیشه این‌چنین بوده است که: H حال به معرفی دستگاه استنتاجی3سیستم K t می‌پردازیم الف:اصول موضوعه(قالب‌های اصل موضوعی4-اصل نماها)سیستم K t عبارتست از موارد A-1 الی A 7 از جدول شماره(1) اصل نماهای A 1 الی A 3 مربوط به منطق کلاسیک جدید و A 4 الی A 7 خاص سیستم K t می‌باشد. (به تصویر صفحه مراجعه شود) 4-شیوه استنتاج طبیعی در سیستم K t و K c علیرغم پژوهش‌های قابل توجهی که در تبیین اصل موضوعی منطق زمان انجام گرفته،مطالعه دقیق و کاملی در حوزه سیستم استنتاج طبیعی منطق زمان صورت نگرفته است مؤلف در این قسمت با الهام از شیوه و اسلوب"فیچ"در منطق موجهات می‌کوشد شیوه‌ای از استنتاج طبیعی را در پاره‌ای از سیستم‌های منطق زمان همانند K t و K c طراحی نموده و محاسبات صوری این سیستم‌ها را براساس این شیوه پی‌جوئی نماید."

  • دانلود HTML
  • دانلود PDF

برای مشاهده محتوای مقاله لازم است وارد پایگاه شوید. در صورتی که عضو نیستید از قسمت عضویت اقدام فرمایید.