این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
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
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات