![](/images/graphics-bg.png)
Conservative Intensional Extension of Tarski's Semantics
المؤلف
المصدر
Advances in Artificial Intelligence
العدد
المجلد 2013، العدد 2013 (31 ديسمبر/كانون الأول 2013)، ص ص. 1-10، 10ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2013-02-26
دولة النشر
مصر
عدد الصفحات
10
التخصصات الرئيسية
تكنولوجيا المعلومات وعلم الحاسوب
علوم
الملخص EN
We considered an extension of the first-order logic (FOL) by Bealer's intensional abstraction operator.
Contemporary use of the term “intension” derives from the traditional logical Frege-Russell doctrine that an idea (logic formula) has both an extension and an intension.
Although there is divergence in formulation, it is accepted that the “extension” of an idea consists of the subjects to which the idea applies, and the “intension” consists of the attributes implied by the idea.
From the Montague's point of view, the meaning of an idea can be considered as particular extensions in different possible worlds.
In the case of standard FOL, we obtain a commutative homomorphic diagram, which is valid in each given possible world of an intensional FOL: from a free algebra of the FOL syntax, into its intensional algebra of concepts, and, successively, into an extensional relational algebra (different from Cylindric algebras).
Then we show that this composition corresponds to the Tarski's interpretation of the standard extensional FOL in this possible world.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Majkić, Zoran. 2013. Conservative Intensional Extension of Tarski's Semantics. Advances in Artificial Intelligence،Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-508183
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Majkić, Zoran. Conservative Intensional Extension of Tarski's Semantics. Advances in Artificial Intelligence No. 2013 (2013), pp.1-10.
https://search.emarefa.net/detail/BIM-508183
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Majkić, Zoran. Conservative Intensional Extension of Tarski's Semantics. Advances in Artificial Intelligence. 2013. Vol. 2013, no. 2013, pp.1-10.
https://search.emarefa.net/detail/BIM-508183
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-508183
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)