|
|
Iranian Journal of Fuzzy Systems، جلد ۱۲، شماره ۴، صفحات ۱۰۱-۱۲۱
|
|
|
| عنوان فارسی |
|
|
| چکیده فارسی مقاله |
|
|
| کلیدواژه‌های فارسی مقاله |
|
|
| عنوان انگلیسی |
On the compactness property of extensions of first-order G"{o}del logic |
|
| چکیده انگلیسی مقاله |
We study three kinds of compactness in some variants of G"{o}del logic: compactness,entailment compactness, and approximate entailment compactness.For countable first-order underlying language we use the Henkinconstruction to prove the compactness property of extensions offirst-order g logic enriched by nullary connective or the Baaz'sprojection connective. In the case of uncountable first-order languagewe use the ultraproduct method to derive the compactness theorem. |
|
| کلیدواژه‌های انگلیسی مقاله |
G",{o}del logic, Compactness theorem |
|
| نویسندگان مقاله |
Seyed Mohammad Amin Khatami |
Department of Mathematics and Computer Science,
Amirkabir University of Technology, Tehran, Iran
Massoud Pourmahdian |
Department of Mathematics and Computer Science, Amirk-
abir University of Technology, Tehran, Iran
|
|
| نشانی اینترنتی |
http://ijfs.usb.ac.ir/article_2087_5cf9578eb43b78cc8613cbd97e4aa22d.pdf |
| فایل مقاله |
فایلی برای مقاله ذخیره نشده است |
| کد مقاله (doi) |
|
| زبان مقاله منتشر شده |
en |
| موضوعات مقاله منتشر شده |
|
| نوع مقاله منتشر شده |
|
|
|
|
برگشت به:
صفحه اول پایگاه |
نسخه مرتبط |
نشریه مرتبط |
فهرست نشریات
|