Number of the records: 1
Towards Metamathematics of Weak Arithmetics over Fuzzy Logic
- 1.0357712 - ÚI 2012 RIV GB eng J - Journal Article
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
R&D Projects: GA AV ČR IAA100300503
Institutional research plan: CEZ:AV0Z10300504
Keywords : weak arithmetics * mathematical fuzzy logic * Gödel’s theorem * essential undecidability
Subject RIV: BA - General Mathematics
Impact factor: 0.913, year: 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.
Permanent Link: http://hdl.handle.net/11104/0195911
Number of the records: 1