TY - JOUR ID - 11319 TI - شیوه استنتاج طبیعی در سیستم های زمانی kt و kc JO - فلسفه JA - JOP LA - fa SN - 2008-1553 AU - نبوی, دکتر لطف الله AD - Y1 - 2002 PY - 2002 VL - 1 IS - 1 SP - EP - DO - N2 - منطق زمان به عنوان یکی از شاخه های توسعه یافته منطق جدید توسط آرتورپرایور در سال 1957 تاسیس گردید و امروزه کاربردهای متعدد و متنوعی در تبیین فلسفی فیزیکی زمان تحلیل منطقی زبان طبیعی هوش مصنوعی و علوم کامپیوتر پیدا نموده است. از آْنجا که در تبیین ساختار نحوی منطق زمان به شیوه استنتاج طبیعی مطالعه دقیق و کاملی صورت نگرفته است مولف در مقاله حاضر می کوشد با الهام از سبک و اسلوب فیچ در منطق موجهات شیوه ای از استنتاج طبیعی را در پاره ای از سیستم های منطق زمان همچون kt و kc معرفی نموده و در محاسبات صوری این سیستم ها بکار گیرد UR - https://jop.ut.ac.ir/article_11319.html L1 - https://jop.ut.ac.ir/article_11319_67a300650c0a476c1ad0cd5f5ffc3811.pdf ER -