ناشر تخصصی کنفرانس های ایران

لطفا کمی صبر نمایید

Publisher of Iranian Journals and Conference Proceedings

Please waite ..
Publisher of Iranian Journals and Conference Proceedings
Login |Register |Help |عضویت کتابخانه ها
Paper
Title

Fuzzy logic and enriched categories

Year: 1400
COI: JR_IJFS-18-3_002
Language: EnglishView: 48
This Paper With 11 Page And PDF Format Ready To Download

Buy and Download

با استفاده از پرداخت اینترنتی بسیار سریع و ساده می توانید اصل این Paper را که دارای 11 صفحه است به صورت فایل PDF در اختیار داشته باشید.
آدرس ایمیل خود را در کادر زیر وارد نمایید:

Authors

S. Dautovic - Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia
M. Zekic - Mathematical Institute of the Serbian Academy of Sciences and Arts, Belgrade, Serbia

Abstract:

We consider a category C enriched over the segment [۰,۱] whose hom-objects are real numbers from [۰,۱]. For a suitably defined function \hat{v}  assigning to each formula \varphi some object of \C, the hom-object \C(\hat{v} (\varphi),\hat{v}(\psi)) represents the degree of derivability of \psi from \varphi. We reformulate completeness result for intuitionistic propositional logic, as well as H\' ajek's completeness results concerning the product, G\" odel and \L ukasiewicz fuzzy logic in the context of enriched category theory.

Keywords:

Product fuzzy logic , G odel fuzzy logic , L ukasiewicz fuzzy logic , t-norm , bicartesian closed V-enriched category , self-enriched ca-tegory

Paper COI Code

This Paper COI Code is JR_IJFS-18-3_002. Also You can use the following address to link to this article. This link is permanent and is used as an article registration confirmation in the Civilica reference:

https://civilica.com/doc/1232340/

How to Cite to This Paper:

If you want to refer to this Paper in your research work, you can simply use the following phrase in the resources section:
Dautovic, S. and Zekic, M.,1400,Fuzzy logic and enriched categories,https://civilica.com/doc/1232340

Research Info Management

Certificate | Report | من نویسنده این مقاله هستم
این Paper در بخشهای موضوعی زیر دسته بندی شده است:

اطلاعات استنادی این Paper را به نرم افزارهای مدیریت اطلاعات علمی و استنادی ارسال نمایید و در تحقیقات خود از آن استفاده نمایید.

Share this page

More information about COI

COI stands for "CIVILICA Object Identifier". COI is the unique code assigned to articles of Iranian conferences and journals when indexing on the CIVILICA citation database.

The COI is the national code of documents indexed in CIVILICA and is a unique and permanent code. it can always be cited and tracked and assumed as registration confirmation ID.

Support