Interpolation in Godel Logic
عنوان مقاله: Interpolation in Godel Logic
شناسه ملی مقاله: ICFUZZYS22_016
منتشر شده در بیست و دومین کنفرانس سیستم های فازی ایران در سال 1402
شناسه ملی مقاله: ICFUZZYS22_016
منتشر شده در بیست و دومین کنفرانس سیستم های فازی ایران در سال 1402
مشخصات نویسندگان مقاله:
Seyed Mohammad Amin Khatami - Department of computer science, Birjand university of technology, Birjand, Iran
خلاصه مقاله:
Seyed Mohammad Amin Khatami - Department of computer science, Birjand university of technology, Birjand, Iran
We propose a model-theoretic approach to prove that the rst-order Godel logicenjoy the Craig interpolation property.
کلمات کلیدی: Fuzzy logic, Godel Logic, Interpolation Property
صفحه اختصاصی مقاله و دریافت فایل کامل: https://civilica.com/doc/2040075/