| کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
|---|---|---|---|---|
| 4662482 | 1633528 | 2008 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Intermediate logics and factors of the Medvedev lattice
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We investigate the initial segments of the Medvedev lattice as Brouwer algebras, and study the propositional logics connected to them.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 155, Issue 2, September 2008, Pages 69-85
Journal: Annals of Pure and Applied Logic - Volume 155, Issue 2, September 2008, Pages 69-85