شماره ركورد كنفرانس :
3735
عنوان مقاله :
حساب ابررشته‌اي براي منطق موجهات S5
پديدآورندگان :
فرهادي سودابه s.farhadi@maht.iut.ac.ir دانشگاه صنعتي اصفهان
كليدواژه :
منطق موجهات , حساب ابررشته‌اي , حذف برش
عنوان كنفرانس :
اولين كنفرانس منطقه اي علوم رياضي و كاربردها
چكيده فارسي :
منطق موجهات S5 يكي از مهم‌ترين منطق‌هاي موجهات بوده كه داراي خواص بسيار خوبي از نظر نحو، معنا شناسي و خواص جبري مي‌باشد.
علي رغم خواص خوب نحوي، جبري و معنا شناسي، همچنان ارائه‌ي يك صوري سازي موفق در حساب رشته‌ها كه داراي خاصيت حذف برش باشد با مشكل روبرو است.
يكي از راه‌حل‌ها براي رسيدن به يك سيستم استنتاجي كه قضيه‌ي حذف برش در آنبرقرار باشد،حساب ابررشته‌ها است.
در اين مقاله،ضمن معرفي حساب ابررشته‌اي براي منطق موجهات $ S5 $،به بررسي اثبات‌هاي مختلف قضيه حذف برش در حساب‌هاي ابررشته‌اي ارائه شده مي‌پردازيم
