The Craig interpolation property for rational Gödel logic

	The Craig interpolation property for rational Gödel logic
Iranian Journal of Fuzzy Systems
دوره 20، شماره 1، فروردین و اردیبهشت 2023، صفحه 19-25 اصل مقاله (144.18 K)
نوع مقاله: Research Paper
شناسه دیجیتال (DOI): 10.22111/ijfs.2023.7343
نویسنده
N. Roshandel Tavana^*
Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran
چکیده
In this article, the Craig interpolation property for rational Gödel logic is studied. Despite classical Gödel logic, this property can be proved in this new extension of Gödel logic. This new predicate version of Gödel logic is similar to continuous logic and also, its semantics is extended similar to metric model theory with some differences.
کلیدواژه‌ها
Rational Gödel logic؛ the Craig interpolation property؛ standard Gödel logic

آمار تعداد مشاهده مقاله: 50 تعداد دریافت فایل اصل مقاله: 107

سامانه مدیریت نشریات علمی. قدرت گرفته از سیناوب