Počet záznamů: 1  

Some (Non)Tautologies of Lukasiewicz and Product Logic

  1. SYS0343867
    LBL
      
    01095^^^^^2200265^^^450
    005
      
    20180710113406.0
    014
      
    $a 000278948200005 $2 WOS
    014
      
    $a 79956120955 $2 SCOPUS
    017
      
    $a 10.1017/S1755020309990414 $2 DOI
    100
      
    $a 20100611d m y slo 03 ba
    101
    0-
    $a eng
    102
      
    $a GB
    200
    1-
    $a Some (Non)Tautologies of Lukasiewicz and Product Logic
    215
      
    $a 6 s.
    463
    -1
    $1 001 cav_un_epca*0343866 $1 011 $a 1755-0203 $1 200 1 $a Review of Symbolic Logic $v Roč. 3, č. 2 (2010), s. 273-278
    610
    0-
    $a Lukasiewicz logic
    610
    0-
    $a product logic
    610
    0-
    $a tautology
    610
    0-
    $a (non)tautology
    700
    -1
    $3 cav_un_auth*0100752 $a Hájek $b Petr $p UIVT-O $o Department of Theoretical Computer Science $w Oddělení teoretické informatiky $4 070 $T Ústav informatiky AV ČR, v. v. i.