کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
11010144 | 1812795 | 2018 | 14 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Atomic polymorphism and the existence property
ترجمه فارسی عنوان
پلی مورفیسم اتمی و ویژگی وجود
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
ترجمه چکیده
ما یک اثبات کاملا اثباتگرانه از وجود اموال برای محاسبه مقدماتی کامل مرتبه اول را، از طریق کسر طبیعی، که در آن تبدیلات رفت و برگشت مورد نیاز نیست، ارائه می کنیم. چنین اثری توان بالقوه یک سیستم پلی مورفیک اتمی را با تنها سه ژنراتور فرمول - معیارهای جامع شرطی و اول و دوم مرتبه نشان می دهد - به عنوان یک ابزار برای مطالعات اثبات نظری.
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
We present a purely proof-theoretic proof of the existence property for the full intuitionistic first-order predicate calculus, via natural deduction, in which commuting conversions are not needed. Such proof illustrates the potential of an atomic polymorphic system with only three generators of formulas - conditional and first and second-order universal quantifiers - as a tool for proof-theoretical studies.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 12, December 2018, Pages 1303-1316
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 12, December 2018, Pages 1303-1316
نویسندگان
Gilda Ferreira,