Počet záznamů: 1
Two Notions of Compactness in Gödel Logics
- 1.0405251 - UIVT-O 330485 RIV NL eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR GD401/03/H047
Výzkumný záměr: CEZ:AV0Z10300504
Klíčová slova: logic * Gödel logic * compactness * entailment * satisfiability
Kód oboru RIV: BA - Obecná matematika
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í.
Trvalý link: http://hdl.handle.net/11104/0125434
Název souboru Staženo Velikost Komentář Verze Přístup 0405251.pdf 9 753 KB Autorský preprint povolen
Počet záznamů: 1