![](/images/graphics-bg.png)
Categorical Abstract Algebraic Logic : Meet-Combination of Logical Systems
المؤلف
المصدر
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-8، 8ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-04-16
دولة النشر
مصر
عدد الصفحات
8
التخصصات الرئيسية
الملخص EN
The widespread and rapid proliferation of logical systems in several areas of computer science has led to a resurgence of interest in various methods for combining logical systems and in investigations into the properties inherited by the resulting combinations.
One of the oldest such methods is fibring.
In fibring the shared connectives of the combined logics inherit properties from both component logical systems, and this leads often to inconsistencies.
To deal with such undesired effects, Sernadas et al.
(2011, 2012) have recently introduced a novel way of combining logics, called meet-combination, in which the combined connectives share only the common logical properties they enjoy in the component systems.
In their investigations they provide a sound and concretely complete calculus for the meet-combination based on available sound and complete calculi for the component systems.
In this work, an effort is made to abstract those results to a categorical level amenable to categorical abstract algebraic logic techniques.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Voutsadakis, George. 2013. Categorical Abstract Algebraic Logic : Meet-Combination of Logical Systems. Journal of Mathematics،Vol. 2013, no. 2013, pp.1-8.
https://search.emarefa.net/detail/BIM-447698
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Voutsadakis, George. Categorical Abstract Algebraic Logic : Meet-Combination of Logical Systems. Journal of Mathematics No. 2013 (2013), pp.1-8.
https://search.emarefa.net/detail/BIM-447698
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Voutsadakis, George. Categorical Abstract Algebraic Logic : Meet-Combination of Logical Systems. Journal of Mathematics. 2013. Vol. 2013, no. 2013, pp.1-8.
https://search.emarefa.net/detail/BIM-447698
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-447698
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)