Two Notions of Compactness in Gödel Logics

0405251 - UIVT-O 330485 RIV NL eng J - Journal Article
Cintula, Petr
Two Notions of Compactness in Gödel Logics.
[Dva pojmy kompaktnosti v Gödelových logikách.]
Studia Logica. Roč. 81, č. 1 (2005), s. 99-123. ISSN 0039-3215. E-ISSN 1572-8730
R&D Projects: GA ČR GD401/03/H047
Institutional research plan: CEZ:AV0Z10300504
Keywords : logic * Gödel logic * compactness * entailment * satisfiability
Subject RIV: BA - General Mathematics

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.

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í.
Permanent Link: http://hdl.handle.net/11104/0125434