Počet záznamů: 1  

Implicational (semilinear) logics III: completeness properties

  1. SYS0477040
    LBL
      
    01000a^^22220027750^450
    005
      
    20180715211105.3
    014
      
    $a 000428317500011 $2 WOS
    017
      
    $a 10.1007/s00153-017-0577-0 $2 DOI
    100
      
    $a 20170815d m y slo 03 ba
    101
      
    $a eng
    102
      
    $a DE
    200
    1-
    $a Implicational (semilinear) logics III: completeness properties
    215
      
    $a 30 s.
    463
    -1
    $1 001 cav_un_epca*0256186 $1 011 $a 0933-5846 $1 200 1 $a Archive for Mathematical Logic $v Roč. 57, 3-4 (2018), s. 391-420
    610
      
    $a abstract algebraic logic
    610
      
    $a protoalgebraic logics
    610
      
    $a implicational logics
    610
      
    $a disjunctional logics
    610
      
    $a semilinear logics
    610
      
    $a non-classical logics
    610
      
    $a completeness theorems
    610
      
    $a rational completeness
    700
    -1
    $3 cav_un_auth*0100737 $a Cintula $b Petr $p UIVT-O $o Department of Theoretical Computer Science $w Oddělení teoretické informatiky $T Ústav informatiky AV ČR, v. v. i.
    701
    -1
    $3 cav_un_auth*0293476 $a Noguera $b Carles $p UTIA-B $o MTR $w Oddělení matematické teorie rozhodování $z K $T Ústav teorie informace a automatizace AV ČR, v. v. i.