Počet záznamů: 1
Towards Metamathematics of Weak Arithmetics over Fuzzy Logic
- 1.0357712 - ÚI 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. E-ISSN 1368-9894
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
Počet záznamů: 1