کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661791 | 1633469 | 2013 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Topological completeness of the provability logic GLP
ترجمه فارسی عنوان
کامل بودن توپولوژیکی GLP منطق اثبات پذیری
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces are called GLP-spaces whenever they satisfy all the axioms of GLP. We develop some constructions to build nontrivial GLP-spaces and show that GLP is complete w.r.t. the class of all GLP-spaces.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 12, December 2013, Pages 1201–1223
Journal: Annals of Pure and Applied Logic - Volume 164, Issue 12, December 2013, Pages 1201–1223
نویسندگان
Lev Beklemishev, David Gabelaia,