In this paper we will deal with compactness of Gödel logics. We give a nearly complete answer to the problem of entailment and satisfiability based compactness. We show a tight correspondence between these two concepts.
In this paper we will deal with compactness of Gödel logics. We give a nearly complete answer to the problem of entailment and satisfiability based compactness. We show a tight correspondence between these two concepts. (en)
Kompaktnost je důležitá vlastnost klasické logiky. Může být definována buďto jako ekvivalence konečné a nekonečné splnitelnosti nebo jako finitárnost příslušné relace důsledků. Ve fuzzy logikách (zde se zabýváme zejména tzv. Gödelovými logikami) lze jak splnitelnost tak příslušné relace důsledků definovat mnoha způsoby. V tomto článku dáme skoro úplnou odpověď na otázku kompaktnosti (založeny na zobecnění obou klasických definic) zkoumaných logik, přičemž některé již známé výsledky obdržíme jako důsledky našich obecných tvrzení. (cs)