کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
435778 | 689935 | 2015 | 15 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The method of polynomial ring calculus and its potentialities
ترجمه فارسی عنوان
روش حل محاسبات چندجمله ای و توانایی های آن
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
سیستم های اثبات چندجملهای، منطقهای ارزشمند تعیین کننده و غیرقطعی، سازگاری زمینه های محدود
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
This paper surveys some results on the role of formal polynomials as a representation method for logical derivation in classical and non-classical logics, emphasizing many-valued logics, paraconsistent logics and non-deterministic logics, as well as their potentialities for alternative algebraic representation and for automation. The resulting mechanizable proof method exposed here is of interest for automatic proof theory, as the proof methods are comparable to analytic tableaux in generality and intuitiveness, and seems also to indicate a new avenue for investigating questions on complexity.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 606, 16 November 2015, Pages 42–56
Journal: Theoretical Computer Science - Volume 606, 16 November 2015, Pages 42–56
نویسندگان
Walter Carnielli, Mariana Matulovic,