سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

On the compactness property of extensions of first-order G"{o}del logic

سال انتشار: 1394
نوع سند: مقاله ژورنالی
زبان: انگلیسی
مشاهده: 175

فایل این مقاله در 21 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

JR_IJFS-12-4_006

تاریخ نمایه سازی: 27 خرداد 1401

چکیده مقاله 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.

کلیدواژه های On the compactness property of extensions of first-order G"{o}del logic:

نویسندگان مقاله On the compactness property of extensions of first-order G"{o}del logic

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
۱] M. Baaz and R. Zach, Compact propositional Godel logics, ...
I. Ben-Yaacov and A. Usvyatsov, Continuous rst order logic and ...
R. Cignoli, F. Esteva and L. Godo, On Lukasiewicz logic ...
P. Cintula, Two notions of compactness in Godel logics, Studia ...
P. Cintula and M. Navara, Compactness of fuzzy logics, Fuzzy ...
F. Esteva, J. Gispert, L. Godo and C. Noguera, Adding ...
G. Gerla, Abstract fuzzy logic, Fuzzy Logic, Springer (۲۰۰۱), ۱۹-۴۴ ...
P. Hajek, Metamathematics of Fuzzy Logic, Kluwer Academic Pub, (۱۹۹۸) ...
S. M. A. Khatami, M. Pourmahdian and N. R. Tavana, ...
M. Navara and U. Bodenhofer, Compactness of fuzzy logics, Neural ...
M. Pourmahdian and N. R. Tavana, Compactness in rst-order Godel ...
N. Preining, Complete recursive axiomatizability of Godel logics, PhD thesis, ...
N. R. Tavana, M. Pourmahdian and F. Didevar, Compactness in ...
S. Willard. General topology, Courier Dover Publications, ۲۰۰۴ ...
نمایش کامل مراجع