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