Počet záznamů: 1
Some Remarks on Cantor-Lukasiewicz Fuzzy Set Theory
- 1.
SYSNO ASEP 0350422 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 Some Remarks on Cantor-Lukasiewicz Fuzzy Set Theory Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI Zdroj.dok. Logic Journal of the IGPL. - : Oxford University Press - ISSN 1367-0751
Roč. 21, č. 2 (2013), s. 183-186Poč.str. 4 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova naive comprehension scheme ; fuzzy set theory ; consistency ; Lukasiewicz logic Vědní obor RIV BA - Obecná matematika CEP GAP202/10/1826 GA ČR - Grantová agentura ČR CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000316295100003 EID SCOPUS 84875249715 DOI 10.1093/jigpal/jzs014 Anotace Lukasiewicz predicate logic with its standard and its general semantics is denoted by Ł. Over this logic, we study the set theory CŁ0 with full comprehension (but without extensionality; adding it would trivialize the theory, as proved by Grishin). A proof of consistency of CŁ0 was published by White, but his proof was criticized as having a gap. Here Section 1 analyses the problem of consistency of CŁ0. In Section 2, I discuss the problem of omega-inconsistency of the CŁ0 (with its general semantics) using ideas of Yatabe. Section 3 presents some construction of crisp sets in this theory. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2014
Počet záznamů: 1