ON THE COMPACTNESS PROPERTY OF EXTENSIONS OF
G First-Order, Odel Logic, Seyed Mohammad Amin Khatami, Massoud Pourmahdian · 2015
We study three kinds of compactness in some variants of Godel logic: compactness, entailment compactness, and approximate entailment com- pactness. For countable rst-order underlying language we use the Henkin construction to prove the compactness property of extensions of rst-order Godel logic enriched by nullary connective or the Baaz's projection connec- tive. In the case of uncountable rst-order language we use the ultraproduct method to derive the compactness theorem.