کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4951156 | 1441195 | 2017 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Boolean dependence logic and partially-ordered connectives
ترجمه فارسی عنوان
منطق وابستگی بولی و کانال های تقسیم شده
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق وابستگی، ارتباطات جزئی به ترتیب، بیانگر بیان منطق دومین موجودیتی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We introduce a new variant of dependence logic (D) called Boolean dependence logic (BD). In BD dependence atoms are of the type =(x1,â¦,xn,α), where α is a Boolean variable. Intuitively, with Boolean dependence atoms one can express quantification of relations, while standard dependence atoms express quantification over functions. We compare the expressive powers of BD to D and first-order logic enriched by partially-ordered connectives, FO(POC). We show that the expressive power of BD and D coincide. We define natural syntactic fragments of BD and show that they coincide with the corresponding fragments of FO(POC) with respect to expressive power. We then show that the fragments form a strict hierarchy. We also gain a new characterization for SNP.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 88, September 2017, Pages 103-125
Journal: Journal of Computer and System Sciences - Volume 88, September 2017, Pages 103-125
نویسندگان
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema,