کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
11010144 1812795 2018 14 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Atomic polymorphism and the existence property
ترجمه فارسی عنوان
پلی مورفیسم اتمی و ویژگی وجود
کلمات کلیدی
ترجمه چکیده
ما یک اثبات کاملا اثباتگرانه از وجود اموال برای محاسبه مقدماتی کامل مرتبه اول را، از طریق کسر طبیعی، که در آن تبدیلات رفت و برگشت مورد نیاز نیست، ارائه می کنیم. چنین اثری توان بالقوه یک سیستم پلی مورفیک اتمی را با تنها سه ژنراتور فرمول - معیارهای جامع شرطی و اول و دوم مرتبه نشان می دهد - به عنوان یک ابزار برای مطالعات اثبات نظری.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
پلی مورفیسم اتمی و ویژگی وجود
چکیده انگلیسی
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
نویسندگان
,