Počet záznamů: 1
Towards Metamathematics of Weak Arithmetics over Fuzzy Logic
- 1.
SYSNO ASEP 0357712 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 Towards Metamathematics of Weak Arithmetics over Fuzzy Logic Tvůrce(i) Hájek, Petr (UIVT-O) RID, SAI Zdroj.dok. Logic Journal of the IGPL. - : Oxford University Press - ISSN 1367-0751
Roč. 19, č. 3 (2011), s. 467-475Poč.str. 9 s. Jazyk dok. eng - angličtina Země vyd. GB - Velká Británie Klíč. slova weak arithmetics ; mathematical fuzzy logic ; Gödel’s theorem ; essential undecidability Vědní obor RIV BA - Obecná matematika CEP IAA100300503 GA AV ČR - Akademie věd CEZ AV0Z10300504 - UIVT-O (2005-2011) UT WOS 000290586100004 EID SCOPUS 79956006655 DOI 10.1093/jigpal/jzp091 Anotace This paper continues investigation of a very weak arithmetic that results from the well-known Robinson arithmetic by not assuming that addition and multiplication are total functions and, secondly, by weakening the classical logic to the basic mathematical fuzzy logic. Pracoviště Ústav informatiky Kontakt Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800 Rok sběru 2012
Počet záznamů: 1