کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904316 1633422 2018 30 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
A computational glimpse at the Leibniz and Frege hierarchies
ترجمه فارسی عنوان
نگاهی به محاسبات در سلسله مراتب لایبنیتس و فرگه
کلمات کلیدی
ترجمه چکیده
در این مقاله، از نقطه نظر محاسباتی، مسئله طبقه بندی منطق ها در سلسله مراتب لایبنیتس و فرگه از نوع منطق جبری انتزاعی را در نظر می گیریم. نتیجه اصلی بیان می کند که برای منطق ارائه شده به نحوی، این مشکل به طور کلی قابل حل نیست. دقیق تر، ما نشان می دهیم که هیچ الگوریتمی وجود ندارد که منطق یک محاسبات هیلبرت ثابت در لایبنیتس و سلسله مراتب فرگه را طبقه بندی کند.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
نگاهی به محاسبات در سلسله مراتب لایبنیتس و فرگه
چکیده انگلیسی
In this paper we consider, from a computational point of view, the problem of classifying logics within the Leibniz and Frege hierarchies typical of abstract algebraic logic. The main result states that, for logics presented syntactically, this problem is in general undecidable. More precisely, we show that there is no algorithm that classifies the logic of a finite consistent Hilbert calculus in the Leibniz and in the Frege hierarchies.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 1, January 2018, Pages 1-20
نویسندگان
,