کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904297 1633418 2018 21 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Intuitionistic nonstandard bounded modified realisability and functional interpretation
ترجمه فارسی عنوان
غیرمتعارف استنتاجی محدودیت واقعی اصلاح شده و تفسیر عملکردی را محدود می کند
کلمات کلیدی
ترجمه چکیده
ما سهم سه گانه را ارائه می دهیم: محتوای سازنده و خواص اثبات نظری حساب های غیر استاندارد؛ پر کردن شکاف در ادبیات؛ هماهنگی با روش های غیر استاندارد برای تحلیل استدلال های فشرده سازی.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
غیرمتعارف استنتاجی محدودیت واقعی اصلاح شده و تفسیر عملکردی را محدود می کند
چکیده انگلیسی
We give a threefold contribution: constructive content and proof-theoretical properties of nonstandard arithmetic; filling a gap in the literature; being in line with nonstandard methods to analyse compactness arguments.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 5, May 2018, Pages 392-412
نویسندگان
, ,