Number of the records: 1
Some (Non)Tautologies of Lukasiewicz and Product Logic
SYS 0343867 LBL 01095^^^^^2200265^^^450 005 20240103193609.8 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 $e 1755-0211 $1 200 1 $a Review of Symbolic Logic $v Roč. 3, č. 2 (2010), s. 273-278 $1 210 $c Cambridge University Press 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 $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $p UIVT-O $4 070 $T Ústav informatiky AV ČR, v. v. i.
Number of the records: 1