Two Notions of Compactness in Gödel Logics

Počet záznamů: 1

1.

SYSNO ASEP	0405251
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve SCOPUS
Název	Two Notions of Compactness in Gödel Logics
Překlad názvu	Dva pojmy kompaktnosti v Gödelových logikách
Tvůrce(i)	Cintula, Petr (UIVT-O)_{RID, ORCID, SAI}
Zdroj.dok.	Studia Logica. - : Springer - ISSN 0039-3215 Roč. 81, č. 1 (2005), s. 99-123
Poč.str.	25 s.
Jazyk dok.	eng - angličtina
Země vyd.	NL - Nizozemsko
Klíč. slova	logic ; Gödel logic ; compactness ; entailment ; satisfiability
Vědní obor RIV	BA - Obecná matematika
CEP	GD401/03/H047 GA ČR - Grantová agentura ČR
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
EID SCOPUS	27544505579
DOI	10.1007/s11225-005-2804-7
Anotace	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.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2006

Počet záznamů: 1