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