For Better Performance Please Use Chrome or Firefox Web Browser

ABS Kobra Salehi (Persion)

اين پايان­نامه اولين مطالعه­ي نظريه­ اثباتي و نظريه مدلي از تركيب منطق­هاي با زمان محدود و   منطق­هاي ساختي است. ابتدا به منظور فراهم كردن يك پايه نظري مفيد براي استدلال­هاي زماني كه داراي خاصيت   ساختي و فراسازگارند،   دو منطق IB[l]   و PB[l]   معرفي مي­شود. اين منطق­ها دو مدل محدود و ساختي از LTL و توسيع­هايي از منطق شهودي يا منطق فراسازگار نلسون هستند كه تحت عنوان حساب­هاي رشته­اي گنتسني   [l] و PB[l] معرفي مي­شوند. در اين منطق­ها با وجود محدوديت دامنه­ي   زمان همه­ي اصول موضوعه­ي زماني مانند اصل استقراي زمان نتيجه مي­شوند. با   استفاده   از اِين سيستم­ها قواعد جانشاني مناسبي به­ ترتيب درون منطق­هاي شهودي و فراسازگار نلسون تعريف مي­شود و از اين قواعد براي اثبات قضاياي حذف برش، تصميم­پذيري، سلامت و تماميت   IB[l] و PB[l] استفاده مي­شود.   سپس به معرفي سيستم­هاي استنتاج طبيعي   NIB[l] و   [l]   و بيان قضيه­ي نرمال­سازي براي آن­ها پرداخته مي­شود. در پايان حساب­هاي رشته­اي IB[l] و PB[l]   معرفي مي­شود و قضاياي حذف برش، سلامت و تماميت براي آن­ها بيان مي­شود.

تحت نظارت وف ایرانی