کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
8904273 | 1633414 | 2018 | 42 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Axiomatizations of team logics
ترجمه فارسی عنوان
آکایوماتیزیشن از منطق تیم
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
ترجمه چکیده
به عنوان یک گام مهمی در اثبات کامل بودن، ما نشان می دهیم که منطق فوق به معنای خاص، حذف یک معانی و محاسبات از فرمول ها را حفظ می کند.
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
As a crucial step in the completeness proof, we show that the above logics admit, in a particular sense, a semantics-preserving elimination of modalities and quantifiers from formulas.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 9, September 2018, Pages 928-969
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 9, September 2018, Pages 928-969
نویسندگان
Martin Lück,