Number of the records: 1

Towards Metamathematics of Weak Arithmetics over Fuzzy Logic

SYSNO ASEP	0357712
Document Type	J - Journal Article
R&D Document Type	Journal Article
Subsidiary J	Článek ve WOS
Title	Towards Metamathematics of Weak Arithmetics over Fuzzy Logic
Author(s)	Hájek, Petr (UIVT-O)_{RID, SAI}
Source Title	Logic Journal of the IGPL. - : Oxford University Press - ISSN 1367-0751 Roč. 19, č. 3 (2011), s. 467-475
Number of pages	9 s.
Language	eng - English
Country	GB - United Kingdom
Keywords	weak arithmetics ; mathematical fuzzy logic ; Gödel’s theorem ; essential undecidability
Subject RIV	BA - General Mathematics
R&D Projects	IAA100300503 GA AV ČR - Academy of Sciences of the Czech Republic (AV ČR)
CEZ	AV0Z10300504 - UIVT-O (2005-2011)
UT WOS	000290586100004
EID SCOPUS	79956006655
DOI	10.1093/jigpal/jzp091
Annotation	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.
Workplace	Institute of Computer Science
Contact	Tereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
Year of Publishing	2012

Number of the records: 1