شيوه استنتاج طبيعي در سيستم هاي زماني kt و kc

منطق زمان به عنوان يكي از شاخه هاي توسعه يافته منطق جديد توسط آرتور پرايور در سال 1957 تاسيس گرديد و امروزه كاربردهاي متعدد و متنوعي در تبيين فلسفي فيزيكي زمان تحليل منطقي زبان طبيعي هوش مصنوعي و علوم كامپيوتر پيدا نموده است. از آْنجا كه در تبيين ساختار نحوي منطق زمان به شيوه استنتاج طبيعي مطالعه دقيق و كاملي صورت نگرفته است مولف در مقاله حاضر مي كوشد با الهام از سبك و اسلوب فيچ در منطق موجهات شيوه اي از استنتاج طبيعي را در پاره اي از سيستم هاي منطق زمان همچون kt و kc معرفي نموده و در محاسبات صوري اين سيستم ها بكار گيرد.