کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4661832 1633457 2015 31 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Axiomatizing first-order consequences in independence logic
ترجمه فارسی عنوان
عالئم اولویت عاملی در منطق استقلال است
کلمات کلیدی
ترجمه چکیده
منطق استقلال، که در [8] معرفی شده است، نمی تواند به طور موثری آشکار شود. با این حال، عواقب اول اولویت احکام منطق استقلال می توانند به طور خلاصه بیان شوند. در این مقاله ما یک معرفت صریح را ارائه می دهیم و ثابت می کنیم که در این معنی کامل است. اثبات یک تعمیم نتیجه مشابه برای منطق وابستگی است که در [15] ارائه شده است.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
عالئم اولویت عاملی در منطق استقلال است
چکیده انگلیسی
Independence logic, introduced in [8], cannot be effectively axiomatized. However, first-order consequences of independence logic sentences can be axiomatized. In this article we give an explicit axiomatization and prove that it is complete in this sense. The proof is a generalization of the similar result for dependence logic introduced in [15].
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 1, January 2015, Pages 61-91
نویسندگان
,