Number of the records: 1
Towards Metamathematics of Weak Arithmetics over Fuzzy Logic
- 1.
SYSNO 0357712 Title Towards Metamathematics of Weak Arithmetics over Fuzzy Logic Author info aut. Petr Hájek Author(s) Hájek, Petr (UIVT-O) RID, SAI Source Title Logic Journal of the IGPL. Roč. 19, č. 3 (2011), s. 467-475. - : Oxford University Press Document Type Článek v odborném periodiku Grant IAA100300503 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR) CEZ AV0Z10300504 - UIVT-O (2005-2011) Language eng Country GB Keywords weak arithmetics * mathematical fuzzy logic * Gödel’s theorem * essential undecidability Permanent Link http://hdl.handle.net/11104/0195911
Number of the records: 1