Universal coalgebras and their logics

تاريخ النشر

2009-05-31

دولة النشر

السعودية

عدد الصفحات

التخصصات الرئيسية

الرياضيات

الموضوعات

الملخص AR

نستطلع الجبريات المصاحبة كنماذج للأنظمة المبنية على الحالة مع منطقها العالمي و المحلي.

نعرض بعض الحدس المفيد بخصوص الدالات على فئة المجموعات و التي تقود بصورة طبيعية إلى المنطق الشكلي الجبري المصاحب، حيث الشكليات هي أنماط الصلاحية للشيء التالي لحالة.

الملخص EN

We survey coalgebras as models of state based systems together with their global and local logics.

We convey some useful intuition regarding Set-functors which leads naturally to coalgebraic modal logic where modalities are validity patterns for the successor object of a state.

نمط استشهاد جمعية علماء النفس الأمريكية (APA)

Gumm, H. Peter. 2009. Universal coalgebras and their logics. The Arabian Journal for Science and Engineering. D, Mathematics،Vol. 34, no. 1D, pp.105-130.
https://search.emarefa.net/detail/BIM-546078

نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)

Gumm, H. Peter. Universal coalgebras and their logics. The Arabian Journal for Science and Engineering. D, Mathematics Vol. 34, no. 1D (May. 2009), pp.105-130.
https://search.emarefa.net/detail/BIM-546078

نمط استشهاد الجمعية الطبية الأمريكية (AMA)

Gumm, H. Peter. Universal coalgebras and their logics. The Arabian Journal for Science and Engineering. D, Mathematics. 2009. Vol. 34, no. 1D, pp.105-130.
https://search.emarefa.net/detail/BIM-546078

نوع البيانات

مقالات

لغة النص

الإنجليزية

الملاحظات

Includes bibliographical references : p. 128

رقم السجل

BIM-546078

حفظتم الحفظ طباعة

قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"

أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي

مرصد "معرفة"
لقياس الإنتاج العلمي العربي

تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر