منطق پیوسته | کتابخانه مجازی الفبا

منطق پیوسته | کتابخانه مجازی الفبا

کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی کتابخانه مجازی الفبا،تولید و بازنشر کتب، مقالات، پایان نامه ها و نشریات علمی و تخصصی با موضوع کلام و عقاید اسلامی

فارسی  |   العربیه  |   English  
telegram

در تلگرام به ما بپیوندید

public

کتابخانه مجازی الفبا
کتابخانه مجازی الفبا
header
headers
پایگاه جامع و تخصصی کلام و عقاید و اندیشه دینی
جستجو بر اساس ... همه موارد عنوان موضوع پدید آور جستجو در متن
: جستجو در الفبا در گوگل
...جستجوی هوشمند
منطق پیوسته
کتابخانه مجازی الفبا
بهار و تابستان 1398
کتابخانه مجازی الفبا
فارسی
کتاب الکترونیکی
میانگین امتیازات:
امتیاز شما :
تعداد امتیازات :
0
منطق پیوسته
ویرایش اثر
وضعیت نشر :
تهران ، منطق پژوهی ، بهار و تابستان 1398
چکیده :
منطق پیوسته تعمیمی از منطق کلاسیک به یک منطق با مجموعه مقادیر درستی بی‌نهایت مقداری است. بسیاری از نتایج منطق کلاسیک و نظریه مدلِ آن به منطق پیوسته تعمیم داده شده‌اند. منطق پیوسته نه تنها در بررسی و تحلیل خواص ساختارهای مباحث آنالیز ریاضی کاربردهای فراوانی دارد، بلکه باعث بوجود آمدن نگرش‌های جدیدی در نظریه مدل منطق کلاسیک نیز شده است.در مقاله حاضر مروری خواهیم داشت بر سیر تکاملی منطق پیوسته از روی منطق‌ِ چندمقداریِ لوکاسیویچ. سپس بعضی از مهمترین خواص اولیه منطق پیوسته را بیان می‌کنیم. در انتها با توجه به تحلیلی که از مفهوم پیوستگی در منطق پیوسته با توجه به مجموعه مقادیر درستی داریم، نوعی از منطق پیوسته که مبتنی بر نرم‌های مثلثی پیوسته است را معرفی خواهیم کرد. این موضوع به معرفی منطق‌های پیوسته‌ مبتنی بر منطق‌هایی مثل منطق گودل و حاصل‌ضربی می‌انجامد. در انتها به بررسی بعضی از خواص این منطق‌ها از جمله خاصیت فشردگی خواهیم پرداخت continuous logic is generalization of first order logic to a many valued logic with an infinitary truth value set. many of the results of classic logic and it's model theory have been generalized to continuous logic. continuous logic not only has many uses in the mathematical analysis and in the model theory of mathematical analysis structures, but also has created new attitudes in classical model theory. firstly, the present paper study the development of continuous logic from łukasiewicz logic. then we have a review on some of the most important basic results of continuous logic, including the completeness of the proof system and the compactness theorem. finally, according to the concept of continuity with respect to the truth value set, we will introduce a kind of continuous logic that is based on continuous t-norm based fuzzy logics. this will lead to the introduction of two kinds of continuous logics based on gödel logic and product logic. then we developed some of the results of continuous logic such as the compactness theorem for these two logics.
نویسنده :
سید محمد امین خاتمی؛ مسعود پورمهدیان
زبان :
فارسی
منبع اصلی :
http://logicalstudy.ihcs.ac.ir/article_4149.html
جنس منبع:
متن
پایگاه :
ب:پایگاه مقالات (منطق پژوهی- سال 1398- دوره 10- شماره 1- از صفحه 65 تا 106)
یادداشت :
نوع منبع :
نمایه مقاله , مقاله
مخاطب :
بزرگسال , تخصصی
مشخصات کامل اثر
منابع مرتبط :
ثبت نظر
ارسال