مقاله قابلیت تعریف متقابل بسط های منطق بلناپ-دان (Belnap-Dunn)
| عنوان مقاله به انگلیسی | The interdefinability of expansions of Belnap-Dunn logic |
| عنوان مقاله به فارسی | مقاله قابلیت تعریف متقابل بسط های منطق بلناپ-دان (Belnap-Dunn) |
| نویسندگان | C. A. Middelburg |
| زبان مقاله | انگلیسی |
| فرمت مقاله: | |
| تعداد صفحات | 18 |
| دسته بندی موضوعات | Logic in Computer Science,Logic,منطق در علوم کامپیوتر , منطق , |
| توضیحات | Submitted 7 March, 2024; originally announced March 2024. , Comments: 18 pages. arXiv admin note: text overlap with arXiv:2301.10555 , MSC Class: 03B50 (Primary) |
| توضیحات به فارسی | ارسال 7 مارس 2024 ؛در ابتدا مارس 2024 اعلام شد ، نظرات: 18 صفحه.Arxiv Admin توجه: همپوشانی متن با ARXIV: 2301.10555 ، کلاس MSC: 03B50 (اولیه) |
چکیده
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 با اتصالات غیر کلاسیک مورد بررسی قرار گرفته است.در این مقاله به این سؤال پرداخته شده است که آیا این انبساط ها با انبساطی قابل اتصال هستند که اتصال دهنده های آن فقط شامل اتصال دهنده های کلاسیک است.این ارزش دانستن است زیرا دشوار است که بگوییم منطقی با اتصالات غیر کلاسیک با منطق کلاسیک ارتباط دارد.مفهوم متقابل بودن منطق مورد استفاده مبتنی بر مفهوم کلی از تعریف یک اتصال دهنده در یک منطق است که به نظر می رسد فراموش شده است.📚 محتوای این محصول آموزشی (پکیج کامل)
علاوه بر مقاله اصلی انگلیسی که دریافت می کنید، برای یادگیری عمیقتر و تسلط کامل بر مباحث مجموعهای از کتابهای آموزشی نیز ارائه میشود.
-
کتاب صدها نکته فارسی (خودمونی) – نسخه PDF — زبان ساده و کاربردی
مشاهده نمونه نسخه نکات ساده -
کتاب صدها نکته رسمی فارسی – نسخه PDF — نگارش استاندارد و علمی
مشاهده نمونه نسخه نکات رسمی -
کتاب صدها پرسش و پاسخ تشریحی – نسخه PDF
— هر سؤال همراه با پاسخ کامل برای درک عمیق مفاهیم
مشاهده نمونه نسخه پرسش و پاسخ -
کتاب پرسش و پاسخ چهارگزینهای – نسخه یادگیری سریع
— پاسخها بلافاصله بعد از سؤال برای مرور سریع
مشاهده نمونه نسخه کوییز سریع -
کتاب پرسش و پاسخ چهارگزینهای – نسخه خودآزمایی
— پاسخها در انتهای بخشها برای سنجش واقعی یادگیری
مشاهده نمونه نسخه آزمونی
🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل ویدیوهای آموزشی، کتابها، تمرینها و خودآزمایی.
ℹ️ نکات مهم هنگام خرید
- این محصول به صورت فایل دانلودی کامل ارائه میشود.
- توجه: لینکهای اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال میشوند.
- دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
- برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های محصول همان جا برای شما ارسال گردد.)
- اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینکها را دریافت نکردهاید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینکها دوباره ارسال شوند.
💬 راههای ارتباطی پشتیبانی:
واتساپ یا هر پیام رسان داخلی یا پیامک:
09395106248
تلگرام: @ma_limbs
نظرات
هنوز نظری ثبت نشده است.
وارد شوید تا نظر ثبت کنید.