Title of article :
On the compactness property of extensions of first-order G\"{o}del logic
Author/Authors :
Seyed Mohammad Amin Khatami، Seyed Mohammad Amin Khatami نويسنده Department of Mathematics and Computer Science, Amirkabir University of Technology, Tehran, Iran Seyed Mohammad Amin Khatami, Seyed Mohammad Amin Khatami , Massoud Pourmahdian، Massoud Pourmahdian نويسنده Department of Mathematics and Computer Science, Amirk- abir University of Technology, Tehran, Iran Massoud Pourmahdian, Massoud Pourmahdian
Issue Information :
دوماهنامه با شماره پیاپی 0 سال 2015
Abstract :
سه نوع فشردگي را در توسيع هاي مختلف منطق گودل مرتبه اول مورد مطالعه قرار داده ايم: فشردگي معمولي، فشردگي استلزام و فشردگي تقريبي استلزام. براي تيوري هاي با زبان زمينه مرتبه اول شمارا، با استفاده از روش هنكيني، خاصيت فشردگي را براي توسيع هاي منطق گودل مرتبه اولِ غني شده با ادوات منطقي صفر موضعي يا ادات يك موضعي ? اثبات كرده ايم. براي تيوري هاي با زبان زمينه مرتبه اول ناشمارا، از روش ابرضرب براي اثبات خاصيت فشردگي استفاده كرده ايم.
Abstract :
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 Henkin
construction to prove the compactness property of extensions of
first-order \g logic enriched by nullary connective or the Baazʹs
projection connective. In the case of uncountable first-order language
we use the ultraproduct method to derive the compactness theorem.
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)
Journal title :
Iranian Journal of Fuzzy Systems (IJFS)
