کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10118890 | 1633561 | 2005 | 26 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Non-strictly positive fixed points for classical natural deduction
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
Finally, the relation to Parigot's strictly positive inductive definition of his set of reducibility candidates and to his notion of generalized reducibility candidates is explained.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 133, Issues 1â3, May 2005, Pages 205-230
Journal: Annals of Pure and Applied Logic - Volume 133, Issues 1â3, May 2005, Pages 205-230
نویسندگان
Ralph Matthes,