کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904335 1633608 2017 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Natural deduction for bi-intuitionistic logic
ترجمه فارسی عنوان
محاسبه طبیعی برای منطق بی قید و شرط
کلمات کلیدی
ترجمه چکیده
ما یک سیستم چند نتیجه ای چندگانه برای منطق بی منطقی ارائه می دهیم. مشتقات در سیستم ها، نمودارهایی هستند که لبه های آنها با فرمول برچسب گذاری می شوند و گره های آنها با قوانین برچسب گذاری می شوند. ما نشان می دهیم که چطور می توانیم سیستم های استنتاج طبیعی استاندارد و شهودی را به سیستم پیشنهادی تعبیه کنیم. صدا و کامپایلیت با استفاده از ترجمه های بیشتر برای محاسبه سنت های سنتی برای منطق بی قید و شرط ایجاد شده است.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
محاسبه طبیعی برای منطق بی قید و شرط
چکیده انگلیسی
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
نویسندگان
,