Počet záznamů: 1
Towards Metamathematics of Weak Arithmetics over Fuzzy Logic
SYS 0357712 LBL 00657^^^^^2200169^^^450 005 20240103195005.5 014 $a 000290586100004 $2 WOS 014 $a 79956006655 $2 SCOPUS 017 7-
$a 10.1093/jigpal/jzp091 $2 DOI 100 $a 20100611d m y slo 03 ba 101 0-
$a eng 102 $a GB 200 1-
$a Towards Metamathematics of Weak Arithmetics over Fuzzy Logic $f aut. Petr Hájek 215 $a 9 s. 463 -1
$1 001 cav_un_epca*0258358 $1 011 $a 1367-0751 $e 1368-9894 $1 200 1 $a Logic Journal of the IGPL $v Roč. 19, č. 3 (2011), s. 467-475 $1 210 $c Oxford University Press 610 0-
$a weak arithmetics 610 0-
$a mathematical fuzzy logic 610 0-
$a Gödel’s theorem 610 0-
$a essential undecidability 700 -1
$3 cav_un_auth*0100752 $a Hájek $b Petr $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1