On the compactness property of extensions of first-order G\'odel logic

Autor:	Khatami, Seyed Mohammad Amin
Rok vydání:	2014
Předmět:	Mathematics - Logic 03B50
Druh dokumentu:	Working Paper
Popis:	We study three kinds of compactness in some variants of G\"odel 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\"odel 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 Comment: 16 pages
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1410.3027 Zobrazit plný text záznamu View this record from Arxiv