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
Pages
21
From page
101
To page
121
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)
Serial Year
2015
Journal title
Iranian Journal of Fuzzy Systems (IJFS)
Record number
2218958
Link To Document