Počet záznamů: 1  

Note on Deduction Theorems in contraction-free logics

  1. SYS0376591
    LBL
      
    01442^^^^^2200253^^^450
    005
      
    20240103200835.7
    014
      
    $a 000303919900013 $2 WOS
    014
      
    $a 84860914049 $2 SCOPUS
    017
    70
    $a 10.1002/malq.201110065 $2 DOI
    100
      
    $a 20120502d m y slo 03 ba
    101
    0-
    $a eng
    102
      
    $a DE
    200
    1-
    $a Note on Deduction Theorems in contraction-free logics
    215
      
    $a 8 s.
    463
    -1
    $1 001 cav_un_epca*0257223 $1 011 $a 0942-5616 $e 1521-3870 $1 200 1 $a Mathematical Logic Quarterly $v Roč. 58, č. 3 (2012), s. 236-243 $1 210 $c Wiley
    610
    0-
    $a Local Deduction Theorem
    610
    0-
    $a BCI-logic
    610
    0-
    $a Substructural logics
    610
    0-
    $a Rule of contraction
    700
    -1
    $3 cav_un_auth*0242277 $a Chvalovský $b Karel $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i.
    701
    -1
    $3 cav_un_auth*0100737 $a Cintula $b Petr $p UIVT-O $i Oddělení teoretické informatiky $j Department of Theoretical Computer Science $w Department of Theoretical Computer Science $4 070 $T Ústav informatiky AV ČR, v. v. i.
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.