مقاله قابلیت تعریف متقابل بسط های منطق بلناپ-دان (Belnap-Dunn)

چکیده

Belnap-Dunn logic, also knows as the logic of First-Degree Entailment, is a logic that can serve as the underlying logic of theories that are inconsistent or incomplete. For various reasons, different expansions of Belnap-Dunn logic with non-classical connectives have been studied. This paper investigates the question whether those expansions are interdefinable with an expansion whose connectives include only classical connectives. This is worth knowing because it is difficult to say how close a logic with non-classical connectives is related to classical logic. The notion of interdefinability of logics used is based on a general notion of definability of a connective in a logic that seems to have been forgotten.

چکیده به فارسی (ترجمه ماشینی)

منطق Belnap-Dunn ، همچنین به عنوان منطق مربوط به درجه اول می داند ، منطقی است که می تواند به عنوان منطق اساسی تئوری ها باشد که متناقض یا ناقص باشد.به دلایل مختلف ، گسترش های مختلف منطق Belnap-Dunn با اتصالات غیر کلاسیک مورد بررسی قرار گرفته است.در این مقاله به این سؤال پرداخته شده است که آیا این انبساط ها با انبساطی قابل اتصال هستند که اتصال دهنده های آن فقط شامل اتصال دهنده های کلاسیک است.این ارزش دانستن است زیرا دشوار است که بگوییم منطقی با اتصالات غیر کلاسیک با منطق کلاسیک ارتباط دارد.مفهوم متقابل بودن منطق مورد استفاده مبتنی بر مفهوم کلی از تعریف یک اتصال دهنده در یک منطق است که به نظر می رسد فراموش شده است.