کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
5778121 1633426 2017 49 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On generalized Van Benthem-type characterizations
ترجمه فارسی عنوان
در تعاریف عمومی وان بنتم نوع
کلمات کلیدی
ترجمه چکیده
این مقاله خط [6-8] را ادامه می دهد. این نتیجه در خصوص ویژگی های نظریه ی مدل-قدرت بیانانه مجموعه های محدود دلخواه کانال های محافظ درجه ای که بیش از 1 و کانال های منظم درجه 2 را بر زبان زبان های محدود شده ندارد، نتیجه می شود.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش مقاله
در تعاریف عمومی وان بنتم نوع
چکیده انگلیسی
The paper continues the line of [6-8]. This results in a model-theoretic characterization of expressive powers of arbitrary finite sets of guarded connectives of degree not exceeding 1 and regular connectives of degree 2 over the language of bounded lattices.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 9, September 2017, Pages 1643-1691
نویسندگان
,