کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10118854 | 1633558 | 2005 | 40 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Bounded functional interpretation
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We present a new functional interpretation, based on a novel assignment of formulas. In contrast with Gödel's functional “Dialectica” interpretation, the new interpretation does not care for precise witnesses of existential statements, but only for bounds for them. New principles are supported by our interpretation, including (a version of) the FAN theorem, weak König's lemma and the lesser limited principle of omniscience. Conspicuous among these principles are also refutations of some laws of classical logic. Notwithstanding, we end up discussing some applications of the new interpretation to theories of classical arithmetic and analysis.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 135, Issues 1â3, September 2005, Pages 73-112
Journal: Annals of Pure and Applied Logic - Volume 135, Issues 1â3, September 2005, Pages 73-112
نویسندگان
Fernando Ferreira, Paulo Oliva,