Počet záznamů: 1

Towards Metamathematics of Weak Arithmetics over Fuzzy Logic

  1. 1.
    0357712 - UIVT-O 2012 RIV GB eng J - Článek v odborném periodiku
    Hájek, Petr
    Towards Metamathematics of Weak Arithmetics over Fuzzy Logic.
    Logic Journal of the IGPL. Roč. 19, č. 3 (2011), s. 467-475 ISSN 1367-0751
    Grant CEP: GA AV ČR IAA100300503
    Výzkumný záměr: CEZ:AV0Z10300504
    Klíčová slova: weak arithmetics * mathematical fuzzy logic * Gödel’s theorem * essential undecidability
    Kód oboru RIV: BA - Obecná matematika
    Impakt faktor: 0.913, rok: 2011

    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.
    Trvalý link: http://hdl.handle.net/11104/0195911