مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

مقاله مقاله نشریه

مشخصات مقاله

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

video

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

sound

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

نسخه انگلیسی

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

بازدید:

12
مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

دانلود:

مرکز اطلاعات علمی Scientific Information Database (SID) - Trusted Source for Research and Academic Resources

استناد:

اطلاعات مقاله نشریه

عنوان

دستگاه استنتاج طبیعی برای برخی منطق های زیرشهودی

صفحات

 صفحه شروع 217 | صفحه پایان 229

چکیده

 منطق زیر شهودی F که نسبت به معناشناسی کریپکی (بدون نیاز به وجود شرط خاصی روی رابطه ی دسترس پذیری مدل های کریپکی) درست و تمام است, اولین بار توسط جیووانا کرسی مطالعه شد. دستگاه اثباتی ارائه شده برای این منطق, دستگاه اثباتی هیلبرتی است. دستگاه WF, به عنوان یک منطق زیرشهودی دیگری که ضعیف تر از دستگاه F است, نخستین بار توسط دیک د یانگ و فاطمه شیرمحمدزاده ملکی معرفی شده است. منطق زیرشهودی WF نسبت به مدل های همسایگی جدیدی که تا حدی پیچیده تر از مدل های همسایگی شناخته شده برای منطق های وجهی کلاسیک (غیر-نرمال) است, درست و تمام است. تنها دستگاه اثباتی معرفی شده برای این منطق زیر شهودی ضعیف تر, دستگاه اثباتی هیلبرتی است. از آنجا که تا کنون هیچ دستگاه استنتاج طبیعی برای هیچکدام از این دو منطق زیرشهودی پایه ارائه نشده است, در این مقاله تلاش خواهم کرد تا برای هر یک از دو منطق زیرشهودی WF و F یک دستگاه استنتاج طبیعی مناسب (درست و تمام) معرفی کنم.

چندرسانه ای

  • ثبت نشده است.

    • استنادها

  • ثبت نشده است.

    • ارجاعات

  • ثبت نشده است.

    • استناددهی

    مقالات مرتبط نشریه ای

  • ثبت نشده است.

    • مقالات مرتبط همایشی

  • ثبت نشده است.

    • طرح های مرتبط

  • ثبت نشده است.

    • کارگاه های پیشنهادی






    بازگشت به بالا
    telegram sharing button
    whatsapp sharing button
    linkedin sharing button
    twitter sharing button
    email sharing button
    email sharing button
    email sharing button
    sharethis sharing button