Number of the records: 1
Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach
SYS 0088772 LBL 01618^^^^^2200277^^^450 005 20240103184700.6 014 $a 000246591500001 $2 WOS 014 $a 34249012842 $2 SCOPUS 017 $a 10.1007/s00153-007-0033-7 $2 DOI 100 $a 20071206d m y slo 03 ba 101 0-
$a eng 102 $a DE 200 1-
$a Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach 215 $a 17 s. 463 -1
$1 001 cav_un_epca*0256186 $1 011 $a 0933-5846 $e 1432-0665 $1 200 1 $a Archive for Mathematical Logic $v Roč. 46, č. 5-6 (2007), s. 347-363 $1 210 $c Springer 541 1-
$a Normální formy ve fuzzy logikách: důkazově-teoretický přístup $z cze 610 0-
$a fuzzy logic 610 0-
$a normal form 610 0-
$a proof theory 610 0-
$a hypersequents 700 -1
$3 cav_un_auth*0100737 $a Cintula $b Petr $p UIVT-O $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i. 701 -1
$3 cav_un_auth*0218310 $a Metcalfe $b G. $y US $4 070
Number of the records: 1