On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory

Počet záznamů: 1

1.

SYSNO ASEP	0405539
Druh ASEP	J - Článek v odborném periodiku
Zařazení RIV	J - Článek v odborném periodiku
Poddruh J	Článek ve WOS
Název	On Arithmetic in the Cantor-Lukasiewicz Fuzzy Set Theory
Překlad názvu	O aritmetice v Cantor-Lukasiewiczove fuzzy teorii množin
Tvůrce(i)	Hájek, Petr (UIVT-O)_{RID, SAI}
Zdroj.dok.	Archive for Mathematical Logic. - : Springer - ISSN 0933-5846 Roč. 44, č. 6 (2005), s. 763-782
Poč.str.	20 s.
Jazyk dok.	eng - angličtina
Země vyd.	DE - Německo
Klíč. slova	Lukasiewicz logic ; fuzzy set theory ; contradiction
Vědní obor RIV	BA - Obecná matematika
CEP	IAA1030004 GA AV ČR - Akademie věd
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
UT WOS	000230844400008
EID SCOPUS	23244432486
DOI	10.1007/s00153-005-0284-0
Anotace	Axiomatic set theory with full comprehension is known to be consistent in Lukasiewicz fuzzy predicate logic. But we cannot assume the existence of natural numbers satisfying a simple schema of induction; this extension is shown to be inconsistent.
Pracoviště	Ústav informatiky
Kontakt	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Rok sběru	2006

Počet záznamů: 1