چکیده:
منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شیوه ای از استنتاج طبیعی را در پاره ای از سیستم های منطق زمان همچون kt و kc معرفی نموده و در محاسبات صوری این سیستم ها بکار گیرد .
خلاصه ماشینی:
"نیز فرمولند -اگر???و???دو فرمول باشند(???)نیز فرمول است ج:تعاریف در سیستم 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 طراحی نموده و محاسبات صوری این سیستمها را براساس این شیوه پیجوئی نماید."