کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4951155 1441195 2017 13 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Dependence logic with generalized quantifiers: Axiomatizations
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Dependence logic with generalized quantifiers: Axiomatizations
چکیده انگلیسی
We prove two completeness results, one for the extension of dependence logic by a monotone generalized quantifier Q with weak interpretation, weak in the meaning that the interpretation of Q varies with the structures. The second result considers the extension of dependence logic where Q is interpreted as “there exists uncountable many.” Both of the axiomatizations are shown to be sound and complete for FO(Q) consequences.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 88, September 2017, Pages 90-102
نویسندگان
, , ,