کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904273 1633414 2018 42 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Axiomatizations of team logics
ترجمه فارسی عنوان
آکایوماتیزیشن از منطق تیم
ترجمه چکیده
به عنوان یک گام مهمی در اثبات کامل بودن، ما نشان می دهیم که منطق فوق به معنای خاص، حذف یک معانی و محاسبات از فرمول ها را حفظ می کند.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
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
نویسندگان
,