Fuzzy MacNielle and Dedekind Completions of Crisp Dense Linear Orderings

Počet záznamů: 1

1.

SYSNO ASEP	0405574
Druh ASEP	K - Konferenční příspěvek (lokální konf.)
Zařazení RIV	Stať ve sborníku
Název	Fuzzy MacNielle and Dedekind Completions of Crisp Dense Linear Orderings
Překlad názvu	Fuzzy Macneillovské a Dedekindovské zúplnění ostrých lineárních hustých uspořádání
Tvůrce(i)	Běhounek, Libor (UIVT-O)_{RID, SAI, ORCID}
Zdroj.dok.	Doktorandský den '05 / Hakl F.. - Praha : MATFYZPRESS, 2005 - ISBN 80-86732-56-8 s. 5-10
Poč.str.	7 s.
Akce	Doktorandský den '05
Datum konání	05.10.2005-07.10.2005
Místo konání	Nový Dvůr
Země	CZ - Česká republika
Typ akce	CST
Jazyk dok.	eng - angličtina
Země vyd.	CZ - Česká republika
Klíč. slova	lattice completion ; higher-order fuzzy logic
Vědní obor RIV	BA - Obecná matematika
CEP	GD401/03/H047 GA ČR - Grantová agentura ČR
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
Anotace	In the framework of Henkin-style higher-order fuzzy logic we devone two kinds of the fuzzy lattice completion. The fuzzy MacNeille completion is the lattice completion by (possibly fuzzy) stable sets; the fuzzy Dedekind completion is the lattice completion by (possibly fuzzy) Dedekind cuts. We investigate the properties and interrelations of both notions and compare them to the results from the literature. Our attention is restricted to crisp dense linear orderings, which are important for the theory of fuzzy real numbers.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2006

Počet záznamů: 1