A Set Theory within Fuzzy Logic

Počet záznamů: 1

1.

SYSNO ASEP	0404315
Druh ASEP	C - Konferenční příspěvek (mezinárodní konf.)
Zařazení RIV	D - Článek ve sborníku
Název	A Set Theory within Fuzzy Logic
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI} Haniková, Zuzana (UIVT-O)_{SAI, RID, ORCID}
Zdroj.dok.	Multiple-Valued Logic. Proceedings. - Los Alamitos, 2001 : IEEE Computer Society - ISBN 0-7695-1083-3
Rozsah stran	s. 319-323
Poč.str.	5 s.
Akce	IEEE International Symposium on Multiple-Valued logic /31./
Datum konání	22.05.2001-24.05.2001
Místo konání	Warsaw
Země	PL - Polsko
Typ akce	WRD
Jazyk dok.	eng - angličtina
Země vyd.	US - Spojené státy americké
Klíč. slova	fuzzy logic ; set theory ; axiomatic theories
Vědní obor RIV	BA - Obecná matematika
CEP	IAA1030004 GA AV ČR - Akademie věd
CEZ	1030915
UT WOS	000169358300043
EID SCOPUS	0034828752
DOI	10.1109/ISMVL.2001.924590
Anotace	This paper proposes a possibility of developing an axiomatic set theory, as first-order theory within the framework of fuzzy logic in the style Hajek's book. In classical ZFC, we use an analogy of the construction of a Boolean-valued universe - over a particular algebra of truth values - to show the nontriviality of our theory.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2002

Počet záznamů: 1