|
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 |
فایل مقاله |
اشکال در دسترسی به فایل - ./files/site1/rds_journals/448/article-448-1549986.pdf |
کد مقاله (doi) |
|
زبان مقاله منتشر شده |
en |
موضوعات مقاله منتشر شده |
|
نوع مقاله منتشر شده |
|
|
|
برگشت به:
صفحه اول پایگاه |
نسخه مرتبط |
نشریه مرتبط |
فهرست نشریات
|