این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
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&,quot,{o}del logic,Compactness theorem
نویسندگان مقاله سید محمد امین خاتمی | seyed mohammad amin
department of mathematics and computer science, amirkabir university of technology, tehran, iran
سازمان اصلی تایید شده: دانشگاه صنعتی امیرکبیر (Amirkabir university of technology)

مسعود پورمهدیان |
department of mathematics and computer science, amirk- abir university of technology, tehran, iran

نشانی اینترنتی http://ijfs.usb.ac.ir/article_2087_5cf9578eb43b78cc8613cbd97e4aa22d.pdf
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده en
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات