کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662046 | 1633471 | 2013 | 12 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Natural factors of the Muchnik lattice capturing IPC
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Natural factors of the Muchnik lattice capturing IPC Natural factors of the Muchnik lattice capturing IPC](/preview/png/4662046.png)
چکیده انگلیسی
We give natural examples of factors of the Muchnik lattice which capture intuitionistic propositional logic (IPC), arising from the concepts of lowness, 1-genericity, hyperimmune-freeness and computable traceability. This provides a purely computational semantics for IPC.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 10, October 2013, Pages 1025-1036
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 10, October 2013, Pages 1025-1036
نویسندگان
Rutger Kuyper,