کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
8904263 1633413 2018 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Logic for abstract hoop twist-structures
ترجمه فارسی عنوان
منطق برای ساختار پیچ خورده انتزاعی انتزاعی
کلمات کلیدی
ترجمه چکیده
در این مقاله، ما یک منطق را مطرح می کنیم که به ساختارهای پیچیده انتزاعی مربوط می شود و نتایجی در این منطق ارائه می شود. ما ثابت قضیه قیاسی محلی برای این منطق را نشان می دهیم و نشان می دهیم که این منطق با توجه به شبه تنوع ساختار پیچ خورده انتزاعی انتزاعی قابل جبرانی است.
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی
In this paper, we introduce and study a logic that corresponds to abstract hoop twist-structures and present some results on this logic. We prove the local deductive theorem for this logic and show that this logic is algebraizable with respect to the quasi-variety of abstract hoop twist-structures.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 169, Issue 10, October 2018, Pages 981-996
نویسندگان
,