کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
8904335 | 1633608 | 2017 | 25 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Natural deduction for bi-intuitionistic logic
ترجمه فارسی عنوان
محاسبه طبیعی برای منطق بی قید و شرط
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
ترجمه چکیده
ما یک سیستم چند نتیجه ای چندگانه برای منطق بی منطقی ارائه می دهیم. مشتقات در سیستم ها، نمودارهایی هستند که لبه های آنها با فرمول برچسب گذاری می شوند و گره های آنها با قوانین برچسب گذاری می شوند. ما نشان می دهیم که چطور می توانیم سیستم های استنتاج طبیعی استاندارد و شهودی را به سیستم پیشنهادی تعبیه کنیم. صدا و کامپایلیت با استفاده از ترجمه های بیشتر برای محاسبه سنت های سنتی برای منطق بی قید و شرط ایجاد شده است.
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We present a multiple-assumption multiple-conclusion system for bi-intuitionistic logic. Derivations in the systems are graphs whose edges are labelled by formulas and whose nodes are labelled by rules. We show how to embed both the standard intuitionistic and dual-intuitionistic natural deduction systems into the proposed system. Soundness and completeness are established using translations with more traditional sequent calculi for bi-intuitionistic logic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 25, Supplement, December 2017, Pages S72-S96
Journal: Journal of Applied Logic - Volume 25, Supplement, December 2017, Pages S72-S96
نویسندگان
Luca Tranchini,