تعداد نشریات | 27 |
تعداد شمارهها | 589 |
تعداد مقالات | 6,026 |
تعداد مشاهده مقاله | 8,849,487 |
تعداد دریافت فایل اصل مقاله | 5,834,204 |
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 |